Formal Methods for the Design of Real-Time Systems - International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-RT 2004. Revised Lectures - Paperback - 2004

Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.
Year of publication: 2004
Pagination: 297 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science