A Formal Model for Safety-Critical Computing Systems Conferences

authors

• Saeed, A
• Anderson, T
• Koutny, Maciej

status

• published 

publication date

• October 1990

published in

• IFAC-PapersOnLine  Journal

presented at event

• SYMP ON SAFETY OF COMPUTER CONTROL SYSTEMS 1990 ( SAFECOMP 90 ) : SAFETY, SECURITY AND RELIABILITY RELATED COMPUTERS FOR THE 1990S  Conference

keywords

• COMPUTER CONTROL
• Engineering
• Engineering, Electrical & Electronic
• PROCESS CONTROL
• REQUIREMENTS ANALYSIS AND FORMAL METHODS
• SAFETY
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1016/s1474-6670(17)52168-0

International Standard Book Number (ISBN) 10

• 0-08-040953-9

start page

• 1

end page

• 6

volume

• 23

issue

• 6