Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems

Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett. Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 175-182, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.