Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004) | 19th IEEE International Confernce on Automated Software Engineering - ASE 2004 | ISBN 9783902457035

Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)

19th IEEE International Confernce on Automated Software Engineering - ASE 2004

herausgegeben von Andrew Butterfield, Juan Bicarregui und Alvaro Arenas
Mitwirkende
Herausgegeben vonAndrew Butterfield
Herausgegeben vonJuan Bicarregui
Herausgegeben vonAlvaro Arenas
Buchcover Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)  | EAN 9783902457035 | ISBN 3-902457-03-1 | ISBN 978-3-902457-03-5

Proceedings of 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)

19th IEEE International Confernce on Automated Software Engineering - ASE 2004

herausgegeben von Andrew Butterfield, Juan Bicarregui und Alvaro Arenas
Mitwirkende
Herausgegeben vonAndrew Butterfield
Herausgegeben vonJuan Bicarregui
Herausgegeben vonAlvaro Arenas