The paper “A Model-based Approach to Certification of Adaptive MILS”, submitted by atsec, Université Grenoble Alpes and The Open Group, has been selected for the 4th MILS workshop, which is co-located with DSN2018. The workshop will be held on the 25th of June in Luxembourg City, Luxembourg.
You need to be a member of CITADEL to add comments!
The CITADEL project receives funding from the European Union's Horizon 2020 Research and Innovation Programme under grant agreement No. 700665.
The contents of this website do not necessarily reflect the position of the European Commission and the European Commission is not responsible for any use that may be made of the information it contains.
Replies