Login / Signup

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.

Wen SuJean-Raymond Abrial
Published in: ABZ (Case Study) (2014)
Keyphrases
  • strengths and weaknesses
  • modeling method
  • technology transfer
  • neural network
  • image processing
  • web services
  • multiscale
  • multi agent
  • alternative approaches
  • event driven