Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is M. Rabe  [Clear All Filters]
Conference Paper
R. Dimitrova, Finkbeiner, B., Kovács, M., Rabe, M., and Seidl, H., “Model Checking Information Flow in Reactive Systems”, in Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.