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

  • Walden, Marina (PI)
  • Olszewska, Marta (Col)
  • Edmunds, Andrew (Col)
  • Ostroumov, Sergey (Col)
  • Petre, Luigia (Col)
  • Boström, Pontus (Col)
  • Neovius, Mats (Col)
Filter
Artikel

Sökresultat