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)
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"
}
Back to top