Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab International Workshop on Distributed Systems Validation and Verification (DSVV 2000) Website April, 2000 – Taiwan (Taipei)
International Workshop on Distributed Systems Validation and Verification (DSVV 200 Read More »
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)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002) Website June, 2002 – Spain (Málaga)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 1st International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003) Website April, 2003 – France (Angers)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003) Website June, 2003 – Norway (Trondheim)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) Website April, 2004 – France (Angers)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004) Website April, 2004 – Spain (Barcelona)
The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004) Read More »
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL) Website November, 2004 – France (Rennes)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 3rd International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS ‘2005) Website May, 2005 – USA (Miami)
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 4th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2006) Website May, 2006 – Chipre
