Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams, editors, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Volume 10451 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Conference: Dagstuhl2010

Abstract is missing.

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous SystemsKlaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams. [doi]

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous SystemsKlaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams. [doi]

runs on WebDSL