Formal Methods for Industrial Critical Systems
Subtitle: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
By: edited by Gwen Salaün, Bernhard Schätz
Contributors: Schätz, Bernhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6959
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642244308; 9783642244315
Subjects: Logic design; Computer science; Software engineering