Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of...

• Format: Paperback
• Language: English
• ISBN: 3540555641
• ISBN13: 9783540555643
• Release Date: June 1992
• Publisher: Springer
• Length: 723 Pages
• Weight: 2.24 lbs.
• Dimensions: 1.5" x 6.1" x 9.2"