Fmics 2014
19th International Workshop on Formal Methods for Industrial Critical Systems
Fmics 14
Call for papers
Committees
Invited Speakers
Previous editions
Program
Proceedings
Home
›
Invited Speakers
Invited Speakers
Pietro Marmo (Ansaldo STS, Italy)
Radu Mateescu (Inria, France)
David Parker
(University of Birmingham, UK)