5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)

Activity: Participating in or organising an event types › Workshop, seminar, course or exhibition › Scientific

Period3 Apr 2000
Event typeWorkshop
Conference number5
LocationBerlin, GermanyShow on map