Formal Methods for Industrial Critical Systems
Subtitle: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
By: edited by Mariëlle Stoelinga, Ralf Pinger
Contributors: Pinger, Ralf; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7437
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642324697
Subjects: Information systems; Software engineering; Logic design; Logics and Meanings of Programs; Computer Appl. in Administrative Data Processing; Computer science; Computation by Abstract Devices; Special Purpose and Application-Based Systems