English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Applying RT-Z to Develop Safety-Critical Systems
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2000
Conference Paper
Title
Applying RT-Z to Develop Safety-Critical Systems
Author(s)
Sühl, C.
Mainwork
Fundamental approaches to software engineering. Third international conference, FASE 2000
Conference
Joint European Conferences on Theory and Practice of Software (ETAPS) 2000
Conference on Fundamental Approaches to Software Engineering (FASE) 2000
DOI
10.1007/3-540-46428-X_5
Additional link
Full text
Language
English
FIRST
