NASA Formal Methods
Subtitle: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Publisher: Springer
Published: 2012
Language: eng
Number of pages: 466
ISBN-13: 9783642288906
Subjects: Computer software, development; Fault-tolerant computing; System design; System analysis; Automatic control