Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.

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

Browse the full SETTA paper archive.