Publication Details
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
RATTRAY Charles, ŠVÉDA Miroslav and ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
Czech title
IEEE TC-ECBS a IFIP WG10.1 společný workshop o formálních specifikacíh systémů založených na počítačích
Type
conference proceedings
Language
english
Authors
Rattray Charles ( unknown)
Švéda Miroslav, Prof. Ing., CSc. (DCSY FIT BUT)
Rozenblit Jerzy ( unknown)
Švéda Miroslav, Prof. Ing., CSc. (DCSY FIT BUT)
Rozenblit Jerzy ( unknown)
Keywords
formal specifications, computer-based systems, hardware/software systems specification
Abstract
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.
Published
2002
Pages
102
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE
ISBN
1-85769-169-5
Publisher
University of Stirling
Place
Lund, SE
BibTeX
@PROCEEDINGS{FITPUB6894, editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit", title = "IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems", pages = 102, year = 2002, location = "Lund, SE", publisher = "University of Stirling", ISBN = "1-85769-169-5", language = "english", url = "https://www.fit.vut.cz/research/publication/6894" }