|
Vídeň 19.-21.4.2006 Vybrané publikace
| 2006 | Novosad Petr: Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets, In: Proceedings of the Junior Scientist Conference 2006, Vídeň, AT, TU-Wien, 2006, s. 49-50, ISBN 3-902463-05-8 |
| | Očenášek Pavel: Security Protocols: Analysis and Design, In: Proceedings of the Junior Scientist Conference 2006, Vienna, AT, TUV, 2006, s. 51-52, ISBN 3-902463-05-8 |
| | Smrčka Aleš: High-level Modeling, Analysis and Verification of Programmable Hardware Design, Proceedings of the Junior Scientist Conference 2006, Vienna, AT, TUV, 2006, s. 93-94, ISBN 3-902463-05-8 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)