Login / Signup
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
Limor Fix
Orna Grumberg
Amnon Heyman
Tamir Heyman
Assaf Schuster
Published in:
Int. J. Found. Comput. Sci. (2007)
Keyphrases
</>
industrial processes
industrial applications
high speed
artificial intelligence
software development
real time
image processing
mobile robot
process model
model checking
computational models
stochastic processes
digital circuits
quality improvement
industrial environment