Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.

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

Browse the full APSEC paper archive.