846 search results - page 3 / 170 » The Use of Z |
113
click to vote
FTRTFT
1992
Springer
15 years 1 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
ICEIS
1999
IEEE
15 years 1 months ago
1999
IEEE
ERCIMDL
1999
Springer
15 years 1 months ago
1999
Springer
FM
1999
Springer
15 years 1 months ago
1999
Springer
73
Voted
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
An analysis for the phase transition in a random NK landscape model is given. For the fixed ratio model, NK(n, k, z), Gao and Culberson [17] showed that a random instance generat...