Login / Signup

Formal design and analysis of a gear controller.

Magnus LindahlPaul PetterssonWang 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