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

Richard Banach

Browse the full TASE paper archive.