• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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