Segui
Mohamed Amine Aouadhi
Mohamed Amine Aouadhi
Docteur en informatique
Email verificata su univ-nantes.fr
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–2