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

2010 ◽  
Keyword(s):  
Workflow Application

scholarly journals Comparing workflow application designs for high resolution satellite image analysis

2021 ◽  
Author(s):  
Aymen Al-Saadi ◽  
Ioannis Paraskevakos ◽  
Bento Collares Gonçalves ◽  
Heather J. Lynch ◽  
Shantenu Jha ◽  
...  
Keyword(s):  
Image Analysis ◽  
High Resolution ◽  
Satellite Image ◽  
High Resolution Satellite Image ◽  
Satellite Image Analysis ◽  
Workflow Application

scholarly journals Deployment of an Electronic HCT Workflow Application Allows for Comprehensive Management of Recipients, Donors, and HPC Products

2017 ◽  
Vol 23 (3) ◽  
pp. S402-S403
Author(s):  
Betsy Blunk ◽  
Jesse Jawanda ◽  
Kevin Drake ◽  
Richard Lex ◽  
Mary Jo Burton ◽  
...  
Keyword(s):  
Comprehensive Management ◽  
Workflow Application
Sign in / Sign up

Export Citation Format

Share Document