Real-time - theory in practice: rex workshop, mook, the netherlands, june 3-7, 1991. proceedings
Auteur :
Bakker, J. W. de
ISBN :
9783540555643
Date de publication :
24 juin 1992
Dimensions :
25,0 x 15,6 x 3,7 cm
Poids :
1019 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of a workshop dedicated to the theory of real-time and the established research areas in formal methods, such as process algebra, temporal logic, and model checking. It aims to show what is going on in the field worldwide.