Modeling and Verification of Real-time Systems: Formalisms and Software Tools | ISBN 9781848210134
Buch

Modeling and Verification of Real-time Systems: Formalisms and Software Tools