Reachability Analysis at Procedure Level through Timing Coincidence
Authors:
Farn Wang
Affiliations:
-
Venue:
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Year:
1995
Citing
0
Cited
1
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
Quantified Score
Hi-index
0.00
Visualization
Abstract