Automated Transformation of IoT Systems Models into Event-B Specifications.

Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Browse the full ISDA paper archive.