Testing of Hybrid Systems using Qualitative Models

Harald Brandl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of Formal Methods 2009 Doctoral Symposium
Publisher.
Pages46-52
Publication statusPublished - 2009
EventInternational Symposium of Formal Methods Europe - Eindhoven, Netherlands
Duration: 6 Nov 20096 Nov 2009

Conference

ConferenceInternational Symposium of Formal Methods Europe
CountryNetherlands
CityEindhoven
Period6/11/096/11/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this