High-Level Execution Time Analysis
Authors:
Farn Wang
Affiliations:
-
Venue:
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Year:
1997
Citing
0
Cited
1
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
Quantified Score
Hi-index
0.00
Visualization
Abstract