A Timed Specification Language for Concurrent Reactive Systems
Authors:
Michael Schenke
Affiliations:
-
Venue:
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Year:
1993
Citing
0
Cited
1
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract