Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

Frédéric Lang, Francesco Flammini, editors, Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Volume 8718 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Conference: fmics2014

Abstract

Abstract is missing.

Table of Contents