Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy.

Mole Li Alan Grigg

Published in: RTAS (2021)

Keyphrases

main contribution
tool support
model checking
database
databases
data mining
genetic algorithm
information systems
case study
bayesian networks
cooperative
information technology
trade off
probabilistic model
software tools
design decisions