Toggle navigation
Home
People
Departments
Research
About
Login
Search
A FORMAL MODEL FOR SAFETY-CRITICAL COMPUTING SYSTEMS
Chapters
Overview
Research
Identity
Additional Document Info
View All
Overview
authors
Saeed, A
Anderson, T
Koutny, Maciej
status
published
publication date
1990
Research
keywords
46 Information and Computing Sciences
4613 Theory Of Computation
Identity
Digital Object Identifier (DOI)
10.1016/b978-0-08-040953-5.50006-4
International Standard Book Number (ISBN) 13
9780080409535
Additional Document Info
start page
1
end page
6
