Detail publikace

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.

Originální název

Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Typ

kniha odborná

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Vydáno

1. 1. 2000

Nakladatel

IEEE Computer Society

Místo

Napier University, Edinburgh

ISBN

1-85-769121-0

Edice

Procedings of University of Stirling

Strany počet

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