Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009

Б2.2, Б3.5.

Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009Ed. by Alpuente M., Cook B., Joubert Ch..-Berlin.: Springer, 2009.-Vol. 5825.-213 p.-(Lecture Notes in Computer Science).