Modeling and Verification of Real-time Systems (Iste)

Modeling

Digital Download

ISBN: 978-0-470-39359-8

ISBN-10: 0-470-39359-9

(978-0-470)

See also (possibly by other authors):
2008HardcoverModeling and Verification of Real-time Systems