Sign in
Continuous Formal Verification of Microservice-Based Process Flows.
Matteo Camilli
Published in:
ECSA Companion (2020)
Keyphrases
</>
formal verification
artificial intelligence
automated verification
genetic algorithm
information systems
process model