Login / Signup
Formal design and analysis of a gear controller.
Magnus Lindahl
Paul Pettersson
Wang Yi
Published in:
Int. J. Softw. Tools Technol. Transf. (2001)
Keyphrases
</>
case study
statistical analysis
formal analysis
databases
neural network
detailed design
data analysis
data mining
search engine
multi agent systems
fuzzy logic
knowledge based systems
design process
control unit