A Case Study in Timed CSP: The Railroad Crossing Problem

Authors:
Luming Lai;Phil Watson
Affiliations:
-;-
Venue:
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Year:
1997

Citing 0
Cited 2

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modeling and verifying hierarchical real-time systems using stateful timed CSP

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.01

Visualization

Abstract