Semi-formal modeling of simulation-based V&V methods to enhance safety

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

Original languageEnglish
Title of host publicationEmbedded World
Publisher.
Pages1-6
Publication statusPublished - 2014
EventEmbedded World - Nürnberg, Germany
Duration: 25 Feb 201427 Feb 2014

Conference

ConferenceEmbedded World
CountryGermany
CityNürnberg
Period25/02/1427/02/14

Fields of Expertise

  • Mobility & Production

Cite this