Computer Safety, Reliability and Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664888, 9783540482499
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety Verification of ADA95 Programs Using Software Fault Trees

1999 ◽  
pp. 226-238 ◽  
Author(s):  
Sang-Yoon Min ◽  
Yoon-Kyu Jang ◽  
Sung-Deok Cha ◽  
Yong-Rae Kwon ◽  
Doo-Hwan Bae
Keyword(s):  
Safety Verification ◽  
Fault Trees ◽  
Software Fault

Formal Specification and Development of a Safety-Critical Train Management System

1999 ◽  
pp. 410-419 ◽  
Author(s):  
A. Chiappini ◽  
A. Cimatti ◽  
C. Porzia ◽  
G. Rotondo ◽  
R. Sebastiani ◽  
...  
Keyword(s):  
Formal Specification ◽  
Management System ◽  
Safety Critical
Load More ...
Sign in / Sign up

Export Citation Format

Share Document