Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
MT-LAB A VKR Foundation Center of Excellence
Larsen, Kim Guldstrand
(Projektleder)
Skou, Arne
(Projektdeltager)
Srba, Jiri
(Projektdeltager)
Ravn, Anders Peter
(Projektdeltager)
David, Alexandre
(Projektdeltager)
Wisniewski, Rafal
(Projektdeltager)
CISS - Center for Embedded Software Systems
Institut for Datalogi
Aalborg University Space Center
Institut for Elektroniske Systemer
Automation & Control
Vis
Fingerprint
Publikationer
(10)
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Computer Science
Algorithms
20%
Analytics
6%
Approximation (Algorithm)
20%
Checking Technique
14%
Computation
57%
Computing
10%
continuous-time
40%
Deadlines
14%
discrete-time
16%
Ellipsoid Method
10%
Expected Response
7%
Greedy Strategy
10%
Hybrid System
12%
Model Checking
100%
Nondeterministic Computation
7%
Polyhedron
7%
Response Time
14%
Schedulability Analysis
21%
Scheduler
7%
Software Systems
7%
State Space
20%
temporal property
6%
Timed Automaton
13%
Earth and Planetary Sciences
Foundation
100%
Project
100%
Software
100%
Engineering
Applicability
50%
Foundations
100%
Functionality
50%
Mathematical Modelling
50%
Simple System
50%