English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Safety aspects of generic real-time embedded software model checking in the fuzing domain
Details
Full
Export
Statistics
Options
2012
Conference Paper
Titel
Safety aspects of generic real-time embedded software model checking in the fuzing domain
Author(s)
Larisch, M.
Siebold, U.
Häring, I.
Hauptwerk
Advances in Safety, Reliability and Risk Management
Konferenz
European Safety and Reliability Conference (ESREL) 2011
DOI
10.1201/b11433-380
Language
English
google-scholar
View Details
Fraunhofer-Institut für Kurzzeitdynamik Ernst-Mach-Institut EMI