Formal Methods for Industrial Critical Systems
Subtitle: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 213
ISBN-13: 9783319194585
Subjects: Software engineering