Introducing probabilistic reasoning within Event-B
Crossref DOI link: https://doi.org/10.1007/s10270-017-0626-5
Published Online: 2017-10-09
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Aouadhi, Mohamed Amine
Delahaye, BenoƮt http://orcid.org/0000-0002-9104-4361
Lanoix, Arnaud
Text and Data Mining valid from 2017-10-09
Article History
Received: 1 March 2017
Revised: 5 September 2017
Accepted: 17 September 2017
First Online: 9 October 2017