Design & Verification of
Component Based Real-Time Systems

Upsala Dissertations from the Faculty of
Science & Technology, No. 87


By John Hakansson
December 2009
Uppsala University
Distributed by
ISBN: 9789155475376
153 pages, Illustrated
$52.50 Paper original

---

Partial Contents:

Component Based Software Engineering
Model for Real-Time Systems (SAVE-CCM)
Core Language
Model Checking
Order Reduction
UPPAAL Port Tool
Applying SAVE-CCM
Case Studies
Proofs



Return to Coronet Books main page