Publication detail

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.

Original 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

Original 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.

Keywords

formal specifications, verification, computer-based systems, embedded systems

Authors

RATTRAY, C.; ŠVÉDA, M.

Released

1. 1. 2000

Publisher

IEEE Computer Society

Location

Napier University, Edinburgh

ISBN

1-85-769121-0

Edition

Procedings of University of Stirling

Pages count

85

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"
}