Toggle navigation
Home
People
Departments
Research
About
Login
Search
Applying RT-Z to Develop Safety-Critical Systems.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
Sühl, Carsten
publication date
2000
published in
FASE
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-67261-3
Additional Document Info
start page
51
end page
65
volume
1783