Publication Details
Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
RATTRAY Charles and ŠVÉDA Miroslav. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. ISBN 1-85-769121-0.
Czech title
Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Type
book
Language
english
Authors
Rattray Charles ( unknown)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Keywords
formal specifications, verification, computer-based systems, embedded systems
Abstract
The proceedings presents 17 papers accepted for presentation at the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, held in Edinburgh, Scotland, April 6-7, 2000.
Published
2000
Pages
85
Series
Procedings of University of Stirling
ISBN
1-85-769121-0
Publisher
IEEE Computer Society
Place
Napier University, Edinburgh, GB
BibTeX
@BOOK{FITPUB6510,
author = "Charles Rattray and Miroslav \v{S}v\'{e}da",
title = "Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
pages = 85,
series = "Procedings of University of Stirling",
year = 2000,
location = "Napier University, Edinburgh, GB",
publisher = "IEEE Computer Society",
ISBN = "1-85-769121-0",
language = "english",
url = "https://www.fit.vut.cz/research/publication/6510"
}