Items by "Matousek, Petr"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.

Conference or Workshop Item

Matousek, Petr and Rysavy, Ondrej and Silva, Gayan de and Danko, Martin (2010) Combination of simulation and formal methods to analyse network survivability. In: 3rd International ICST Conference on Simulation Tools and Techniques.

This list was generated on Mon May 4 16:14:01 2026 UTC.