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. Stirling: University of Stirling, 2004. ISBN 1-85769-1970.
Czech title
Sborník IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Type
conference proceedings
Language
english
Authors
Rattray Charles ( unknown)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Rozenblit Jerzy ( unknown)
Keywords

Formal specification, formal semantics, verification, analysis, design

Abstract

Formal Specifications of Computer-Based Systems

Published
2004
Pages
64
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Brno, CZ
ISBN
1-85769-1970
Publisher
University of Stirling
Place
Stirling, GB
BibTeX 
@PROCEEDINGS{FITPUB7470,
   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 = 64,
   year = 2004,
   location = "Stirling, GB",
   publisher = "University of Stirling",
   ISBN = "1-85769-1970",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7470"
}
Back to top