Formal Modeling and Analysis of Timed Systems
Subtitle: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
By: edited by Uli Fahrenberg, Stavros Tripakis
Contributors: Tripakis, Stavros; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6919
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642243097; 9783642243103
Subjects: Logic design; Computer science; Software engineering; Computer software