Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case.

Thomas Arts Michele Dorigatti Stefano Tonetta

Published in: SAFECOMP (2014)

Keyphrases

databases
database
data sets
artificial intelligence
database systems
lower bound
functional requirements
safety analysis
civil aviation