/ Committees / By gisum_user Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001) Website July, 2001 – France (Paris)
