846 search results - page 3 / 170 » The Use of Z |
FTRTFT
1992
Springer
13 years 10 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
13 years 10 months ago
1999
IEEE
ERCIMDL
1999
Springer
13 years 10 months ago
1999
Springer
FM
1999
Springer
13 years 10 months ago
1999
Springer
GECCO
2005
Springer
13 years 12 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...