Inproceedings,

The goal structuring notation--a safety argument notation

, and .
Proceedings of the dependable systems and networks 2004 workshop on assurance cases, (2004)

Meta data

Tags

Users

  • @andiv

Comments and Reviews