Moving from Event-B to probabilistic Event-B. - Mohamed Amine; Benoît Delahaye; Arnaud Lanoix (SAC, 2017)

What does mean search engine for IOT or IOT search engine. - Fatima Zahra Fagroud; El Habib Ben Lahmar; Mohamed Amine; Hicham Toumi; Sanaa El Filali (BDIoT, 2019)