An Integrated Framework for the Formal Analysis of Critical Interactive Systems.

Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque

Browse the full APSEC paper archive.