Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

University of Birmingham Featured PhD Programmes
University College London Featured PhD Programmes
University of Oxford Featured PhD Programmes
Birkbeck, University of London Featured PhD Programmes
Birkbeck, University of London 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.