Requirement Driven Safety Verification

Author(s):
Ranga Kadambi, Vladimir Litovtchenko, Jens Rosenbusch, and Antonio Vilela
Location:
Europe
Year:
2016
Type:
Presentation
Format:
pdf