Differences

This shows you the differences between two versions of the page.

program:workshops [27.08.2010 11:19]
Dirk Deridder
program:workshops [09.09.2010 18:06] (current)
Charles Pecheur
Line 82: Line 82:
---- ----
-====  FMICS : 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems ====+====  FMICS 2010: 15th International ERCIM Workshop on Formal Methods for Industrial Critical Systems ====
== URL == == URL ==
Line 104: Line 104:
---- ----
 +
====  MOMPES 2010: 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software ==== ====  MOMPES 2010: 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software ====
Driven by DokuWiki