Login / Signup
Development and Verification of a Plant Navigation System Displaying Symptom-Based Procedure.
Hiroshi Ujita
Ryuji Kubota
Kouji Ikeda
Published in:
Cogn. Technol. Work. (2001)
Keyphrases
</>
case study
model checking
control system
information processing
genetic algorithm
decision support
knowledge based systems
design principles
st century
development environment
formal verification
asynchronous circuits
water treatment