References of "Kordy, Piotr 50009730"
Bookmark and Share    
Full Text
Peer Reviewed
See detailAttack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0
Gadyatskaya, Olga UL; Jhawar, Ravi UL; Kordy, Piotr UL et al

in Quantitative Evaluation of Systems - 13th International Conference (2016)

Detailed reference viewed: 151 (7 UL)
Full Text
Peer Reviewed
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr UL; Langerak, Rom; Mauw, Sjouke UL et al

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Detailed reference viewed: 64 (2 UL)