Transformational Formal Development of Real-Time Systems
Authors:
Kevin Lano;Ana Sánchez
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