English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Combining statecharts and Z for the design of safety-critical control systems
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1996
Conference Paper
Title
Combining statecharts and Z for the design of safety-critical control systems
Author(s)
Weber, M.
Mainwork
FME '96. Industrial benefit and advances in formal methods
Conference
International Symposium of Formal Methods Europe (FME) 1996
Language
English
FIRST
