Login / Signup
Scalable and Extendable Hybrid Verification Platform.
Jörg Behrend
Patrick Heckeler
Stefan Huster
Djones Lettnin
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Published in:
MBMV (2011)
Keyphrases
</>
model checking
real time
real world
formal methods
asynchronous circuits
data sets
neural network
information systems
face recognition
search algorithm
mobile robot
distributed architecture
fingerprint verification
hybrid approaches