Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science (6371), Band 6371)
von:
Stefan Kowalewski
·
Marco Roveri
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-15897-1
ISBN-10: 3-642-15897-8
Springer
· 2010
