Formal Methods for the Design of Real-Time Systems
Subtitle: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Publisher: Springer London, Limited
Published: 2004
Language: eng
Number of pages: 297
ISBN-13: 9783540300809