Formal Modeling and Analysis of Timed Systems: 7th

Formal Modeling and Analysis of Timed Systems: 7th Inteational Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings .. Computer Science and General Issues)

Hardcover: 291 pages

Publisher: Springer (September 7, 2009)

Language: English

ISBN-10: 3642043674