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.
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.