Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Projekter

Filter
Igangværende
Igangværende

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A., Boudjadar, J. & Kim, J. H.

Danmarks Frie Forskningsfond | Teknologi og Produktion

01/08/201731/07/2021

Projekter: ProjektAndet

Directed algebraic topology and concurrency

Fajstrup, L., Fahrenberg, U. & Raussen, M.

19/05/2010 → …

Projekter: ProjektForskning