Leveraging Applications Of Formal Methods, Verification, And Validation: International Workshops, SARS 2011 And MLSC 2011, Held Under The Auspices Of ISoLA 2011 In Vienna, Austria, October 17-18, 2011. Revised Selected Papers
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 12, 2012 |
| Editors | Hhnle Reiner |
| Dietmar Schreiner | |
| Jens Knoop | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027449 |
About Leveraging Applications Of Formal Methods, Verification, And Validation: International Workshops, SARS 2011 And MLSC 2011, Held Under The Auspices Of ISoLA 2011 In Vienna, Austria, October 17-18, 2011. Revised Selected Papers
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, . . .