Catalog

Record Details

Catalog Search


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

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.

Salaün, Gwen. (editor.). Schätz, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources