IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems | |
Lund 10.-11.4.2002 The proceedings presents 12 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Lund, Sweden, April 10-11, 2002. Řídící výbor (členové z FIT)Švéda Miroslav, prof. Ing., CSc.
Předsedající sekcí (členové z FIT)Švéda Miroslav, prof. Ing., CSc., Methods and tools
PřednášejícíDvořák Václav, prof. Ing., DrSc.
Vybrané publikace
| 2002 | Kučera Pavel, Zezulka František, Švéda Miroslav, Vrba Radimír: Executable specifications for Process Automation and Microelectronics, In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE, US, 2002, s. 91-98, ISBN 1-85769-169-5 |
| | Rattray Charles, Švéda Miroslav, Rozenblit Jerzy (editors): IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE, US, 2002, s. 102, ISBN 1-85769-169-5 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)