[IEEE 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - Turin (2017.7.4-2017.7.8)] 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation
Hlaoui, Yousra Bendaly, Younes, Ahlem Ben, Ayed, Leila Jemni Ben, Fathalli, ManelYear:
2017
Language:
english
DOI:
10.1109/COMPSAC.2017.135
File:
PDF, 690 KB
english, 2017