Leveraging Applications of Formal Methods, Verification, and Validation
Subtitle: International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Publisher: Springer
Published: 2012
Language: eng
Number of pages: 261
ISBN-13: 9783642347801
Subjects: Machine learning; Computer software, verification; Robots, programming