An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar Bruce H. Krogh Peter H. Feiler

Published in: HSCC (2005)

Keyphrases

control system
model checking
embedded systems
formal verification
databases
control software
computer vision
information retrieval
real world
digital images
closed loop
machine learning
heterogeneous data
face verification
data mining
asynchronous circuits
verification method