The Goal Structuring Notation—A Safety Argument Notation (2004)

by T P 3Kelly, R A Weaver
Venue:DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities