Sabrine Ammar

发表

Formal Event-B Modeling of the MICONIC Application

Mohamed Tahar Bhiri, Sabrine Ammar, 2021, SoMeT.

A Formal Approach Combining Event-B and PDDL for Planning Problems

Mohamed Tahar Bhiri, Sabrine Ammar, 2021, ICSOFT.