2nd International Workshop on Reliable Networks Design and Modeling
Moscow 18.-20.10.2010
Vybrané publikace
2010
De Silva Gayan, Matoušek Petr, Ryšavý Ondřej, Švéda Miroslav: Formal Analysis Approach on Networks with Dynamic Behaviours, In: 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, RU, IEEE CS, 2010, s. 545-551, ISBN 978-1-4244-7285-7
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)