C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Formal Framework for Specifying and Verifying Microservices Based Process Flows.
Matteo Camilli
Carlo Bellettini
Lorenzo Capra
Mattia Monga
Published in:
SEFM Workshops (2017)
Keyphrases
</>
formal model
case study
process model
key features
development process
databases
information retrieval
computer vision
web services
image retrieval
user interface
probabilistic model
business processes
conceptual framework
meta level