Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Gwen Salaün Bernhard Schätz Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings 6959 2011 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-24431-5 978-3-642-24430-8 FMICS db/conf/fmics/fmics2011.html