Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings by C. Huizing, J.W.de Bakker, G. Rozenberg, W.P.de Roever (Paperback, 1992)
In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real bandwagon . Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions.
Product Identifiers
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540555643
eBay Product ID (ePID)
95705414
Product Key Features
Author
C. Huizing, J.w.De Bakker, G. Rozenberg, w.P.De Roever
Publication Name
Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1992
Type
Textbook
Number of Pages
723 Pages
Dimensions
Item Height
250mm
Item Width
170mm
Volume
600
Item Weight
2250g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Editor
G. Rozenberg, J.w.De Bakker, w.P.De Roever, C. Huizing
Country/Region of Manufacture
Germany
Best Selling in Adult Learning & University
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University