Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case.

Thomas Arts, Michele Dorigatti, Stefano Tonetta

Browse the full SAFECOMP paper archive.