Toward Dynamic Assurance Cases

Yutaka Matsuno, Shuichiro Yamamoto. Toward Dynamic Assurance Cases. In Maria Virvou, Saeko Matsuura, editors, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, JCKBSE 2012, Rodos, Greece, August 23-26, 2012. Volume 240 of Frontiers in Artificial Intelligence and Applications, pages 154-160, IOS Press, 2012. [doi]

Abstract

Abstract is missing.