Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
XX
BSO - Titre
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method
XX
DOI
DOI
10.1109/tsc.2016.2594782
XX
DOAI
DOAI
10.1109/tsc.2016.2594782
XX
Identifiant WoS
WOS:000395591500011
XX
Accès ouvert
OA - Non
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Non OA
XX
Editeur
IEEE - Institute of Electrical and Electronics Engineers
XX
Source
IEEE TRANSACTIONS ON SERVICES COMPUTING
XX
ISSN
1939-1374
XX
Type de document
Article
XX
Notoriété
5 - Exceptionnelle
XX
CNRS
Oui
XX
CNRS - Institut
INS2I - Institut des sciences de l'information et de leurs interactions
XX
uid:/78HVTQT6
12/10/2021 14:52:37 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
