Generation and Verification of Executable Assurance Case by Model-based Engineering.

Published in: ISSRE Workshops (2021)

Keyphrases

computer science
computer vision
data driven
model checking
engineering design
formal specification
databases
neural network
data mining
artificial intelligence
evolutionary algorithm
formal methods
engineering problems
concurrent systems