Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Mariëlle Stoelinga (Editor), Ralf Pinger (Editor)

    Research output: Book/ReportBook editingAcademic

    638 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings'. Together they form a unique fingerprint.

    Computer Science