http://i66.fastpic.ru/big/2014/1216/00/b0956847bf348cd2a5d7b410f9172200.jpg

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings … / Programming and Software Engineering) by María Alpuente, Byron Cook, Christophe Joubert
English | October 26, 2009 | ISBN: 3642045693 | 213 pages | PDF | 9 MB

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems,whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands.