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