Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Lecture Notes in Computer Science, Band 8187)

Proceedings

von: Michael Dierkes · Charles Pecheur

Taschenbuch

ISBN: 978-3-642-41009-3

ISBN-10: 3-642-41009-X

Springer · 2013