English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Validation of dependable behavior of savety- and mission-critical computing systems
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
Validation of dependable behavior of savety- and mission-critical computing systems
Title Supplement
Dagstuhl Seminar 00131, March 26-31, 2000
Show more
Publication Date
2000
Conference
Dagstuhl Seminar on Validation of Dependable Behaviour of Safety- and Mission-Critical Computing Systems 2000