Toshinori Takai, Hiroyuki Kido. A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 461-466, IEEE, 2014. [doi]
Abstract is missing.