Constructive Boolean circuits and the exactness of timed ternary simulation.

Michael Mendler Thomas R. Shiple Gérard Berry

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

discrete event
simulation model
boolean functions
simulation models
high speed
petri net
real valued
simulation environment
high fidelity
neural network
information retrieval
decision trees
case study
power consumption
colored petri nets
tunnel diode