selected publications
-
conference paper
- MILS-based information flow control in the avionic domain: A case study on compositional architecture and verification. 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC). 2012
Close
E. Muller, Kristen
Publications
Contact
full name
- Kristen E. Muller
Publications in VIVO
Co-author Network
Map of Science