Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz

Author: Salaün, G. (Gwen)
Published: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Physical Description: volumes: digital
Additional Creators: Schätz, Bernhard and SpringerLink (Online service)

Finding items...

Series

Subject(s)

Other Subject(s)

ISBN

9783642244315

Note

AVAILABLE ONLINE TO AUTHORIZED PSU USERS.

Part Of

Springer eBooks

View MARC record | catkey: 7523451

Actions for Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings