C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.
Imed Abbassi
Amel Mammar
Mohamed Graiet
Published in:
IEEE Trans. Serv. Comput. (2022)
Keyphrases
</>
orders of magnitude
case study
learning process
management system
web service composition