A logic-based modeling and verification of CPS.

Neda Saeedloei Gopal Gupta

Published in: SIGBED Rev. (2011)

Keyphrases

model checking
machine learning
website
data structure
relational databases
modeling language
colored petri nets
database
databases
information retrieval
artificial intelligence
cooperative
artificial neural networks
knowledge representation