Detail publikace

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

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. p. 0-0. ISBN: 1-85769-1970.
Název česky
Sborník IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Typ
konferenční sborník (ne článek)
Jazyk
anglicky
Autoři
Rattray Charles
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rozenblit Jerzy
Klíčová slova

Formal specification, formal semantics, verification, analysis, design

Abstrakt

Formální specifikace systémů založaných na počítačích

Rok
2004
Strany
64
ISBN
1-85769-1970
Vydavatel
University of Stirling
Místo
Stirling
BibTeX 
@proceedings{BUT64179,
  editor="Charles {Rattray} and Miroslav {Švéda} and Jerzy {Rozenblit}",
  title="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2004",
  pages="64",
  publisher="University of Stirling",
  address="Stirling",
  isbn="1-85769-1970"
}
Nahoru