Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is P. Schweizer  [Clear All Filters]
2014
Kordy B., Pouly M., Schweizer P..  2014.  A Probabilistic Framework for Security Scenarios with Dependent Actions. 11th International Conference on Integrated Formal Methods, IFM 2014, Bertinoro, Italy. 8739:256–271.