AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS - From UML Activities Diagrams to Event B

Keyword(s):  
Author(s):  
Aymen Al-Saadi ◽  
Ioannis Paraskevakos ◽  
Bento Collares Gonçalves ◽  
Heather J. Lynch ◽  
Shantenu Jha ◽  
...  

2018 ◽  
Author(s):  
J. Ryan Davis ◽  
Eric E. McClain ◽  
Jamal Al Sawafi ◽  
Iman Al Maskari

2017 ◽  
Vol 23 (3) ◽  
pp. S402-S403
Author(s):  
Betsy Blunk ◽  
Jesse Jawanda ◽  
Kevin Drake ◽  
Richard Lex ◽  
Mary Jo Burton ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document