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 Coronet Books Inc.
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

Return to Coronet Books main page