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

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is M. Rabe  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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.