Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

University of East Anglia Featured PhD Programmes
Imperial College London Featured PhD Programmes
King’s College London Featured PhD Programmes
University of Portsmouth Featured PhD Programmes
University of Nottingham Featured PhD Programmes
"avionics"×
10 miles

avionics PhD Projects, Programs & Scholarships

We have 2 avionics PhD Projects, Programs & Scholarships

  • "avionics" ×
  • clear all
Order by 
Showing 1 to 2 of 2
  Formal Methods: Hybrid Event-B and Rodin
  Dr R Banach
Applications accepted all year round
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg.
  Formal Methods: Mechanically Checking the Semantics of Hybrid Event-B
  Dr R Banach
Applications accepted all year round
These days, the world is increasingly being populated with systems that interact directly with the physical world. Of course such systems have existed for a long time in niche safety-critical areas, eg.
Show 10 15 30 per page
  • 1


FindAPhD. Copyright 2005-2018
All rights reserved.