Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

  • Walden, Marina (Principal Investigator)
  • Olszewska, Marta (Co-Investigator)
  • Edmunds, Andrew (Co-Investigator)
  • Ostroumov, Sergey (Co-Investigator)
  • Petre, Luigia (Co-Investigator)
  • Boström, Pontus (Co-Investigator)
  • Neovius, Mats (Co-Investigator)
Filter
Doctoral Thesis

Search results