Login / Signup

Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B.

Richard Banach
Published in: TASE (2016)
Keyphrases
  • small number
  • event detection
  • mathematical model
  • formal model
  • power plant
  • optimal design
  • formal methods
  • high pressure