Publication Details
Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
RATTRAY, C.; ŠVÉDA, M. 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. Procedings of University of Stirling. Napier University, Edinburgh: IEEE Computer Society, 2000. 85 p. 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
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
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
BibTeX
@book{BUT191516,
author="Charles {Rattray} and Miroslav {Švéda}",
title="Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
year="2000",
publisher="IEEE Computer Society",
address="Napier University, Edinburgh",
series="Procedings of University of Stirling",
pages="85",
isbn="1-85-769121-0"
}