High-Level Execution Time Analysis.
Journal
Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings
Pages
325-339
Date Issued
1997
Author(s)
Type
conference paper