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 /

Bibliographic Details
Corporate Authors:	International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Palma de Mallorca, Spain, SpringerLink (Online service)
Other Authors:	Bertran, Miquel, Rus, Teodor
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1231.
Subjects:	Real-time data processing > Congresses. Parallel processing (Electronic computers) > Congresses. Electronic data processing > Distributed processing > Congresses. logique algébrique. concurrence. vérification programme. spécification algébrique. réactivité. système temps réel. logique formelle. Parallélisme (Informatique) > Congrès. Temps réel > Congrès. Traitement réparti > Congrès. Electronic data processing > Distributed processing. Parallel processing (Electronic computers) Real-time data processing. Real-time systemen. Programacao De Computadores. Temps réel (informatique) > Congrès. Parallélisme (informatique) > Congrès. Dialogsystem. Kongress. Programmtransformation. Electronic books. Kongress > Palma de Mallorca > 1997. Conference proceedings. Palma de Mallorca (1997)
Online Access:	Connect to the full text of this electronic book

Remote Storage