Automated Verification of Timed Transition Models

Authors:
Jonathan S. Ostroff
Affiliations:
-
Venue:
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Year:
1989

Citing 0
Cited 2

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Proving Sequential Function Chart Programs Using Automata

WIA '98 Revised Papers from the Third International Workshop on Automata Implementation

Quantified Score

Hi-index	0.01

Visualization

Abstract