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

  • Walden, Marina (Ansvarig forskare)
  • Olszewska, Marta (CoI)
  • Edmunds, Andrew (CoI)
  • Ostroumov, Sergey (CoI)
  • Petre, Luigia (CoI)
  • Boström, Pontus (CoI)
  • Neovius, Mats (CoI)

Fingeravtryck

Utforska forskningsämnen som berörs av detta projekt. Dessa etiketter genereras baserat på underliggande ansökningar/anslag. Tillsammans bildar de ett unikt fingeravtryck.