Követés
Mohamed Amine Aouadhi
Mohamed Amine Aouadhi
Docteur en informatique
E-mail megerősítve itt: univ-nantes.fr
Cím
Hivatkozott rá
Hivatkozott rá
Év
Introducing probabilistic reasoning within Event-B
MA Aouadhi, B Delahaye, A Lanoix
Software & Systems Modeling 18 (3), 1953-1984, 2019
42019
Moving from Event-B to probabilistic Event-B
M Amine, B Delahaye, A Lanoix
Proceedings of the Symposium on Applied Computing, 1348-1355, 2017
32017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–2