Events

SIMUTools 2010

Malaga 15.-20.3.2010

Selected publications

2010MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan and DANKO Martin. Combination of Simulation and Formal Methods to Analyse Network Survivability. In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010, p. 6. ISBN 978-963-9799-87-5.

Your IPv4 address: 34.229.151.87
Switch to https