Mohamed Amine Aouadhi

201720182019202020212022202320241 1 1 2 1 1

Docteur en informatique

Adresse e-mail validée de univ-nantes.fr


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Introducing probabilistic reasoning within Event-B MA Aouadhi, B Delahaye, A Lanoix Software & Systems Modeling 18 (3), 1953-1984, 2019	4	2019
Moving from Event-B to probabilistic Event-B M Amine, B Delahaye, A Lanoix Proceedings of the Symposium on Applied Computing, 1348-1355, 2017	3	2017

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–2

Nombre de citations par an