关注
Mohamed Amine Aouadhi
Mohamed Amine Aouadhi
Docteur en informatique
在 univ-nantes.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–2