Modelling, Formal Refinement and Partitioning Strategies for a Small Aircraft Fuel Pump System in Hybrid Event-B

Researchers

  1. Banach, Richard

    Person: Academic (Staff)

Return to publication overview