Cyber-Physical Systems ā€“ Discrete Models - Wintersemester 14/15
Literatur
Christel Baier, Joost-Pieter Katoen, Principles of Model Checking, MIT, 2008, ISBN 9780262026499 |
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, Systems and Software Verification, Springer, 2001, ISBN 3642074782 |
E. Clarke, O. Grumberg, D. Peled, "Model Checkingā€¯, MIT Press 1999 |
Kropf, Thomas, "Introduction to Formal Hardware Verification", Springer, 1999, ISBN 3-540-65445-3 |