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. 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.
Název česky
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
anglicky
Autoři
Rattray Charles
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

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

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.

Rok
2000
Strany
85
Řada
Procedings of University of Stirling
ISBN
1-85-769121-0
Vydavatel
IEEE Computer Society
Místo
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"
}
Nahoru