Software Hazard and Safety Analysis

J A McDermid, W Damm (Editor), E-R Olderog (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems
Editors	W Damn, E-R Olderog
Publisher	Springer
Pages	23-36
Number of pages	14
Publication status	Published - 2002

Name	Lecture Notes in Computer Science
Volume	2469

Cite this

@inbook{f6dfff9ed7624e08960392832d7bc976,

title = "Software Hazard and Safety Analysis",

author = "McDermid, {J A} and W Damm and E-R Olderog",

year = "2002",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "23--36",

editor = "W Damn and E-R Olderog",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems",

address = "Germany",

}