1 Ebooks by Dietmar Schreiner
Reiner Hahnle & Jens Knoop: Leveraging Applications of Formal Methods, Verification, and Validation
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 Works …
PDF
English
DRM
€57.89
