Transformation-based reactive systems development proceedings - Bertran Miquel ed.; International AMAST Workshop on Real-time Systems and Concurrent and Distributed Software, ARTS'97 (4th : 21-23 May 1997 : Mallorca,Spain); International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97 Mallorca, Spain 21-23 May 1997 (Berlin Springer-Verlag, 1997)
Keywords: Real-time software