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
Auteur :
Bertran, Miquel
ISBN :
9783540630104
Date de publication :
7 mai 1997
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1390 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.