Projekter pr. år
Søgeresultater
-
Igangværende
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. & Nielsen, P. A.
01/12/2020 → 30/11/2023
Projekter: Projekt › Forskning
-
Afsluttet
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning
-
Improving the Security of Infrastructure Software
Hansen, R. R. & Lawall, J.
Forskningsrådet for Teknologi og Produktion (FTP)
19/05/2008 → 18/05/2011
Projekter: Projekt › Forskning
-
COST Action IC0701Formel Verifikation af Objekt-Orienteret Software
Thomsen, B., Hansen, R. R. & Thomsen, L. L.
11/03/2008 → 10/03/2012
Projekter: Projekt › Forskning