MPG.eBooks - Search Results - "The Times"

Cover Image

1

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...

Published 2012

Springer Berlin Heidelberg

Table of Contents: “...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”