Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600

von Taguchi, Kenji
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Formal methods and software engineering : 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12 - 16, 2012 ; proceedings

Veröffentlicht 2012

Threat Analysis Framework for Safety Architectures in SCDL

von Taguchi, Kenji
Veröffentlicht in SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)