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)
von:
Michael Dierkes · Charles Pecheur
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-41009-3
ISBN-10: 3-642-41009-X
Springer
· 2013