Leveraging applications of formal methods, verification, and validation: InternationalWorkshops SARS 2011 and MLSC 2011 Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 Revised Selected Papers

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers
DOIs
Publication statusPublished - 2012
Externally publishedYes
EventInternational Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011 - Vienna, Austria
Duration: 17 Oct 201118 Oct 2011

Publication series

NameCommunications in Computer and Information Science
Volume336 CCIS
ISSN (Print)1865-0929

Conference

ConferenceInternational Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011
Country/TerritoryAustria
CityVienna
Period17/10/1118/10/11

Cite this