[IEEE 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2010) - Moscow, Russia (2010.10.18-2010.10.20)] International Congress on Ultra Modern Telecommunications and Control Systems - Formal analysis approach on networks with dynamic behaviours
de Silva, Gayan, Matousek, Petr, Rysavy, Ondrej, Sveda, MiroslavYear:
2010
Language:
english
DOI:
10.1109/icumt.2010.5676584
File:
PDF, 1.38 MB
english, 2010