Formalizing Real-Time Scheduling as Program Refinement
Authors:
Zhiming Liu;Mathai Joseph
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