Formal Modeling and Analysis of Timed Systems
Subtitle: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
By: edited by Marcin Jurdziński, Dejan Ničković
Contributors: Ničković, Dejan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7595
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642333651
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software