Inne dokumenty
- Industrial evaluation of distributed MILS for Frequentis Voice Service
- Integration of formal evidence and expression in MILS assurance case
- Compositional verification techniques and tools for distributed MILS - part 2
- Industrial evaluation of distributed MILS for smart microgrids
- D5.2 MILS Platform Configuration compiler