7th International Carpathian Control Conference | |
Rožnov pod Radhoštěm 28.-31.5.2006 SpeakersKubát Lubomír, Ing.
Očenášek Pavel, Ing., Ph.D.
Trchalík Roman, Mgr., Ph.D.
Selected publications
| 2006 | Kubát Lubomír: Implementing a Quality System, In: ICCC 2006, Rožnov, CZ, 2006, p. 54-57 |
| | Očenášek Pavel, Trchalík Roman: Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison, In: Proceedings of the 7th International Carpathian Control Conference, Ostrava, CZ, VŠB TU, 2006, p. 401-404, ISBN 80-248-1066-2 |
| | Trchalík Roman, Očenášek Pavel: Metrics in Workflow Systems, In: Proceedings of the 7th International Carpathian Control Conference, Ostrava, CZ, VŠB TU, 2006, p. 569-572, ISBN 80-248-1066-2 |
|