Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is M and Author is O. Gadyatskaya  [Clear All Filters]
2016
Gadyatskaya O., Hansen R.R, Larsen K.G, Legay A., Olesen M.C, Poulsen D.B.  2016.  Modelling Attack-defense Trees Using Timed Automata. 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, Quebec, QC, Canada. 9884:35–50.