Formal Methods for Industrial Critical Systems
Subtitle: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
By: edited by Darren Cofer, Alessandro Fantechi
Contributors: Fantechi, Alessandro; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5596
Publisher: Springer Berlin Heidelberg; Springer
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 243
ISBN-13: 9783642032394; 9783642032400
Subjects: Logic design; Computer science; Software engineering