Take a photo of a barcode or cover
Read With Others
Book Information
234 pages • paperback • 1 edition
ISBN/UID: 9783540427872
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Oct 2001
Description
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardwar...
Community Reviews
Content Warnings
234 pages • paperback
ISBN/UID: 9783540427872
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Oct 2001
Description
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardwar...
Community Reviews
Content Warnings