Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, proceedings /

gan International Workshop, FMICS 2013, Dierkes, Michael., Pecheur, Charles.
Cyhoeddwyd 2013