The Goal Structuring Notation - A Safety Argument Notation

収録刊行物

• Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004

  Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004 2004