[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Modelling Attack-defense Trees Using Timed Automata
Fränzle, Martin, Markey, NicolasТом:
10.1007/97
Рік:
2016
Мова:
english
DOI:
10.1007/978-3-319-44878-7_3
Файл:
PDF, 891 KB
english, 2016