Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, Band 6959)

Proceedings

von: Gwen Salaün · Bernhard Schätz

Taschenbuch

EAN=ISBN-13: 978-3-642-24430-8

ISBN-10: 3-642-24430-0

Springer · 2011