English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal methods for industrial critical systems
Information
Publications
Export
Statistics
Options
Title
Formal methods for industrial critical systems
Titel Supplements
A survey of applications
Hrsg
Gnesi, S.
Verlag
Wiley-Blackwell
Verlagsort
Hoboken
Datum
2012