Martin Danko

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Petr Matousek, Ondrej Rysavý, Gayan de Silva, Martin Danko
Combination of simulation and formal methods to analyse network survivability. SimuTools (2010)