Projekter pr. år
Projekter
- 10 Afsluttet
- 10 resultater
Søgeresultater
-
Forskning
DaNES
Larsen, K. G., Mikucionis, M., Nielsen, P. A., Nielsen, B., Ravn, A. P., Skou, A., (AAU), D. O. C., Danmarks Tekniske Universitet, D. -., Syddansk Universitet, S., A/S, I., A/S, N. N., A/S, P. S., A/S, P. & A/S, S.
Danish Advanced Technology Foundation.
01/04/2007 → 31/03/2011
Projekter: Projekt › Forskning
-
MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems
Nielsen, B., Mikucionis, M., Larsen, K. G., Nielsen, B. & David, A.
01/09/2008 → 01/02/2012
Projekter: Projekt › Forskning
-
Modelbaseret Integrationstest af Software i Mobile Enheder
Rasmussen, J. I., Skou, A. & Mikucionis, M.
01/11/2007 → 31/10/2009
Projekter: Projekt › Forskning
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
Automatisk Test-Afviklingssystem
Nielsen, B., Mikucionis, M., Skou, A., Andersen, F. & Wiwe, C. B.
01/01/2006 → 28/02/2006
Projekter: Projekt › Forskning
-
Quasimodo
Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.
01/01/2008 → 31/12/2010
Projekter: Projekt › Forskning
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning
-
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
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G., David, A., Skou, A., Nielsen, B., Mikucionis, M. & Li, S.
01/11/2008 → 31/10/2011
Projekter: Projekt › Forskning
-
Automatisk Model-baseret Software Test
Nielsen, B., Mikucionis, M., Skou, A., Justesen, J., Riisgaard-Jensen, M. & Madsen, K. B.
01/06/2006 → 31/05/2007
Projekter: Projekt › Forskning