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.

Steering Committee (members from FIT)

Švéda Miroslav, prof. Ing., CSc.

Section moderators (members from FIT)

Švéda Miroslav, prof. Ing., CSc., Methods and tools

Speakers

Dvořák Václav, prof. Ing., DrSc.

Selected publications

2002Kuč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, p. 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, p. 102, ISBN 1-85769-169-5

Your IPv4 address: 184.73.74.47
Switch to IPv6 connection

DNSSEC [dnssec]