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

Yazar: International Workshop, FMICS 2013, Dierkes, Michael., Pecheur, Charles.
Baskı/Yayın Bilgisi 2013