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
Tverdyschev, Sergey
Positions
Publications
Contact
full name
- Sergey Tverdyschev
Publications in VIVO
Co-author Network
Map of Science