Login / Signup

Verification and Validation of a Pressure Control Unit for Hydraulic Systems.

Pontus BoströmMikko HeikkiläMikko HuovaMarina WaldénMatti Linjama
Published in: SERENE (2014)
Keyphrases
  • control unit
  • control system
  • distributed systems
  • computer systems
  • genetic algorithm
  • artificial neural networks
  • management system
  • process control
  • formal methods
  • asynchronous circuits