Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María Alpuente, Byron Cook, Christophe Joubert, editors, Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Volume 5825 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Conference: fmics2009

Identified as María Alpuente This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Christophe Joubert' in Google

runs on WebDSL