Acronym
EURO-MILS
Code
41P05612
Duration
01 October 2012 → 31 March 2016
Funding
European funding: framework programme
Promotor
Research disciplines
-
Natural sciences
- Applied mathematics in specific fields
- History and foundations
- Computer architecture and networks
- Distributed computing
- Information sciences
- Information systems
- Programming languages
- Scientific computing
- Theoretical computer science
- Visual computing
- Other information and computing sciences
Keywords
MILS
virtualisation
formal methods
Common Criteria certification
security
avionics
high availibility
automotive
Project description