Items related to Real-Time: Theory in Practice : Rex Workshop Mook,...

Real-Time: Theory in Practice : Rex Workshop Mook, the Netherlands, June 1991 Proceedings (Lecture Notes in Computer Science) - Softcover

De Bakker, J. W.; Huizing, C.; De Roever, W. P.

 
9780387555645: Real-Time: Theory in Practice : Rex Workshop Mook, the Netherlands, June 1991 Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387555641 ISBN 13: 9780387555645
Publisher: Springer Verlag, 1992

Synopsis

Real-Time - Theory in Practice 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. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1992
Language
English
ISBN 10 
0387555641
ISBN 13 
9780387555645
Binding
Paperback
Editor
Rozenberg G.