Volgen
Mohamed Amine Aouadhi
Mohamed Amine Aouadhi
Docteur en informatique
Geverifieerd e-mailadres voor univ-nantes.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2