IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Brno 26.-28.5.2004

Selected publications

2004	Matoušek Petr: Tools for Parametric Verification: A Comparison on a Case Study., In: Proceedings of the 5th Joint Workshop on FSCBS, Stirling, GB, US, 2004, p. 45-55, ISBN 1-85769-197-0
	Rattray Charles, Švéda Miroslav, Rozenblit Jerzy (editors): Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Stirling, GB, US, 2004, p. 64, ISBN 1-85769-1970
	Ryšavý Ondřej, Bureš František, Ščuglík František, Švéda Miroslav: Integration of Formal Methods in a Specification Framework for Embedded Systems, In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Stirling, GB, IEEE CS, 2004, p. 57-63, ISBN 1-85769-1970
	Ryšavý Ondřej, Bureš František: Formal Abstract Architecture for Use Case Specifications, In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Los Alamitos, MX, ICSP, 2004, p. 203-211, ISBN 0-7695-21258