Testing of Hybrid Systems using Qualitative Models

Harald Brandl

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of Formal Methods 2009 Doctoral Symposium
Herausgeber (Verlag).
Seiten46-52
PublikationsstatusVeröffentlicht - 2009
VeranstaltungInternational Symposium of Formal Methods Europe - Eindhoven, Niederlande
Dauer: 6 Nov. 20096 Nov. 2009

Konferenz

KonferenzInternational Symposium of Formal Methods Europe
Land/GebietNiederlande
OrtEindhoven
Zeitraum6/11/096/11/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren