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

Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett

Browse the full APSEC paper archive.