Login / Signup
A new approach to modular liveness analysis conceived for large logic controllers' design.
Luca Ferrarini
Marco Narduzzi
Massimo Tassan-Solet
Published in:
IEEE Trans. Robotics Autom. (1994)
Keyphrases
</>
detailed design
reinforcement learning
design process
building blocks
image analysis
chip design
design methodology
quantitative analysis
computer aided
knowledge based systems
database
data analysis
case study
web services
information retrieval
databases
real time