A Timed Failures Model for Extended Communicating Processes

Authors:
Rob Gerth;Andy Boucher
Affiliations:
-;-
Venue:
ICALP '87 Proceedings of the 14th International Colloquium, on Automata, Languages and Programming
Year:
1987

Citing 0
Cited 2

Guest A Layered Approach to Automating the Verification of Real-Time Systems

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
The Real-Time Process Algebra (RTPA)

Annals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract