FMICS 2009, 2-3 November, Eindohven, Netherlands

Formal Methods for Industrial Critical Systems, FMIC 2009 will be held during November 2 to 3, 2009 in Eindhoven, Netherlands.

Website: 14th International Workshop on Formal Methods for Industrial Critical Systems.