Visual tools for verifying real-time systems

Authors:
Jonathan S. Ostroff
Affiliations:
-
Venue:
Theories and experiences for real-time system development
Year:
1994

Citing 0
Cited 1

Automated modular specification and verification of real-time reactive systems

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract