Generation of Safety Case Argument-Fragments from Safety Contracts.

Irfan Sljivo Barbara Gallina Jan Carlson Hans Hansson

Published in: SAFECOMP (2014)

Keyphrases

traffic accidents
safety analysis
artificial intelligence
multiscale
relational databases
generation process
safety critical
nuclear power plant
coal mining
civil aviation