On MILS I/O Sharing Targeting Avionic Systems.

Kevin Mueller, Georg Sigl, Benoit Triquet, Michael Paulitsch

Browse the full EDCC paper archive.