An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation
Crossref DOI link: https://doi.org/10.1007/s11761-021-00314-4
Published Online: 2021-05-04
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ait-Ameur, Yamine http://orcid.org/0000-0003-4582-9712
Babin, Guillaume
Pantel, Marc
Text and Data Mining valid from 2021-05-04
Version of Record valid from 2021-05-04
Article History
Received: 5 May 2020
Revised: 28 October 2020
Accepted: 5 January 2021
First Online: 4 May 2021