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

Darren D. Cofer Alessandro Fantechi Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers 5596 2009 http://dx.doi.org/10.1007/978-3-642-03240-0 978-3-642-03239-4 FMICS Lecture Notes in Computer Science Springer db/conf/fmics/fmics2008.html