Scan barcode
316 pages • missing pub info (editions)
ISBN/UID: 9781461367963
Format: Paperback
Language: English
Publisher: Springer
Publication date: 12 October 2012
Description
This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-ti...
Community Reviews
Content Warnings
316 pages • missing pub info (editions)
ISBN/UID: 9781461367963
Format: Paperback
Language: English
Publisher: Springer
Publication date: 12 October 2012
Description
This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-ti...
Community Reviews
Content Warnings