Lecture Notes in Computer Science
Volume 5596, 2009, DOI: 10.1007/978-3-642-03240-0

Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Darren Cofer and Alessandro Fantechi

About This Book

Title
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2009
DOI
10.1007/978-3-642-03240-0
ISBN
978-3-642-03239-4
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, July 27, 2009

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002