14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) RSS feed

Eindhoven, The Netherlands
November 2-3, 2009
Venue: Auditorium (AUD) of the Technische Universiteit Eindhoven

FMICS 2009 VENUE (PDF)

FMICS 2009

ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)
ERCIM

part of the first Formal Methods Week (FMweek):

FM2009 + PDMC + REFINE + TESTCOM/FATES + FACS + CPA + FAST + FMCO

Sponsored by:
UPV Ercim FME MSR
Supported by:
DSIC EASST TUE
Published by:
Springer LNCS