Publication Details

Proceedings 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 IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X.
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. (DIFS FIT BUT)
Rozenblit Jerzy ( unknown)
Keywords

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

Abstract

The proceedings presents 6 papers accepted for the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Huntsville, AL, USA, April 9-10, 2003.

Published
2003
Pages
48
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US
ISBN
1-85769-189X
Publisher
University of Stirling
Place
Huntsville, AL, US
BibTeX 
@PROCEEDINGS{FITPUB7156,
   editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit",
   title = "Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 48,
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "University of Stirling",
   ISBN = "1-85769-189X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7156"
}
Back to top