Article Dans Une Revue
IEEE Transactions on Services Computing
Année : 2017
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03116279
Soumis le : mercredi 20 janvier 2021-11:25:39
Dernière modification le : lundi 11 décembre 2023-16:49:52
Citer
Guillaume Babin, Yamine Aït-Ameur, Marc Pantel. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. IEEE Transactions on Services Computing, 2017, 10 (1), pp.107--120. ⟨10.1109/TSC.2016.2594782⟩. ⟨hal-03116279⟩
Collections
28
Consultations
0
Téléchargements