Login / Signup

Modelling Attack-defense Trees Using Timed Automata.

Olga GadyatskayaRené Rydhof HansenKim Guldstrand LarsenAxel LegayMads Chr. OlesenDanny Bøgsted Poulsen
Published in: FORMATS (2016)
Keyphrases