Publication Details

Proceedings of the 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. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of the University of Stirling. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
Type
conference proceedings
Language
english
Authors
Rattray Charles ( unknown)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Rozenblit Jerzy ( unknown)
Keywords

formal specifications, computer-based systems, hardware/software systems specification

Abstract

The proceedings presents 21 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Washington D.C., USA, April 20, 2001.

Published
2001
Pages
150
Series
Procedings of the University of Stirling
Conference
The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001, Washington D.C., US
ISBN
1-85-769144-X
Publisher
University of Stirling
Place
Washington D.C., US
BibTeX 
@PROCEEDINGS{FITPUB6516,
   editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit",
   title = "Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 150,
   series = "Procedings of the University of Stirling",
   year = 2001,
   location = "Washington D.C., US",
   publisher = "University of Stirling",
   ISBN = "1-85-769144-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6516"
}
Back to top