Formal Methods for Industrial Critical Systems
Subtitle: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
ISBN-13: 9783642158988