Analyzing a Real-Time Program with Z

Authors:
Jonathan Jacky
Affiliations:
-
Venue:
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Year:
1998

Citing 0
Cited 3

The Algebra of Multi-tasking

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Automatic synthesis of a subclass of schedulers in timed systems

Theoretical Computer Science - Australasian computer science
Visualizing graphical and textual formalisms

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract