Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Subtitle: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Publisher: Springer
Published: 2016
Language: eng
ISBN-13: 9783319471662
Subjects: Machine learning; Robots, programming; Computer software, verification