Events

16th Electronic Devices and Systems IMAPS CS International Conference

Brno 2.-3.9.2009

Selected publications

2009OČENÁŠEK Pavel and KUČEROVÁ Petra. Payment Protocols Verification: A Case Study. In: EDS '09 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2009, pp. 38-43. ISBN 978-80-214-3933-7.
 STRNADEL Josef and RŮŽIČKA Richard. Testability Analysis Driven Data Path Modification And Controller Synthesis. In: Proceedings of 16th Electronic Devices and Systems IMAPS CS International Conference. Brno: Brno University of Technology, 2009, pp. 363-368. ISBN 978-80-214-3933-7.
 TRCHALÍK Roman. A Component-Based model for Embedded Software. In: EDS '09 IMAPS CS International Conference Proceedings. Brno, CZ: Brno University of Technology, 2009, p. 5. ISBN 978-80-214-3933-7.

Your IPv4 address: 54.81.254.212
Switch to IPv6 connection

DNSSEC [dnssec]