Robust verification analysis.

William J. Rider Walt Witkowski James R. Kamm Tim Wildey

Published in: J. Comput. Phys. (2016)

Keyphrases

machine learning
data analysis
multimedia
control system
database
artificial intelligence
knowledge base
case study
computationally efficient
petri net
quantitative analysis
colored petri nets