Requirement Driven Safety Verification

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