Formal Modeling and Analysis of Timed Systems
Subtitle: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2012
Language: eng
Number of pages: 267
ISBN-13: 9783642333644
Subjects: Computer simulation; System design; Machine theory; System analysis