Real-Time Systems: Formal Specification and Automatic Verifi

Real-Time Systems: Formal Specification and Automatic Verifi
AuthorEst-Rüdiger Olderog, Henning Dierks

Publisher: University

Print length: 344

Publication date: 2008-10-06

ISBN-10: 0521883334

ISBN-13: 9780521883337