D D · Doranna Durgin · Dorrana Durgan
Academic Press · Butterworth-Heinemann
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking | 978-0-7506-7949-7 (0-7506-7949-2) | 2006 |
| Verification and Validation for Safety Critical Software: The NASA Approach | 978-0-12-374843-0 (0-12-374843-7) | 2011 |