Projekter pr. år
Projekter
- 4 Afsluttet
Søgeresultater
-
Afsluttet
Digital technologies for Industry 4.0
Berardinelli, G. (Projektkoordinator), Nyman, U. (Projektdeltager), Schjørring, A. (Projektdeltager), Schiøler, H. (Projektdeltager), Tan, Z.-H. (Projektdeltager), Popovski, P. (Projektdeltager), Kristjansen, M. (Projektdeltager), Klicius, N. (Projektdeltager), Xie, Y. (Projektdeltager), Chiariotti, F. (Projektdeltager) & Kalør, A. E. (Projektdeltager)
01/03/2019 → 28/02/2021
Projekter: Projekt › Forskning
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)
Danmarks Frie Forskningsfond | Teknologi og Produktion
01/08/2017 → 31/07/2021
Projekter: Projekt › Andet
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.
01/04/2010 → 01/04/2013
Projekter: Projekt › Forskning