Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge.

Arne Hamann Dirk Ziegenbein Simon Kramer Martin Lukasiewycz

Published in: RTAS (2016)

Keyphrases

asynchronous circuits
model checking
neural network
social networks
knowledge base
multi agent
information technology
relational databases
case based reasoning
state machines