|
Rožnov pod Radhoštěm 10.-12.2.2009 Programme Committee (members from FIT)Švéda Miroslav, prof. Ing., CSc.
Selected publications
| 2009 | Očenášek Pavel, Švéda Miroslav: AVISPA: Towards Practical Verification of Communication Properties, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 157-160, ISSN 1474-6670 |
| | Očenášek Pavel, Trchalík Roman, Švéda Miroslav: On the Implementation of Metrics in Industrial Embedded Systems, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 161-164, ISSN 1474-6670 |
| | Švéda Miroslav, Trchalík Roman, Očenášek Pavel: Design of Networked Embedded Systems: An Approach for Safety and Security, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 131-136, ISSN 1474-6670 |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)