- Record: found
- Abstract: not found
- Book Chapter: not found
ZUM ’98: The Z Formal Specification Notation
Analyzing a Real-Time Program with Z
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Article: not found
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu, James Layland (1973)
- Record: found
- Abstract: not found
- Article: not found
A calculus of durations
Zhou Chaochen, C.A.R. Hoare, Anders Ravn (1991)
- Record: found
- Abstract: not found
- Book Chapter: not found
Verification tools for finite-state concurrent systems
E. Clarke, O. Grumberg, D. Long (1994)