Detail publikace

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

RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. p. 0-0. ISBN: 1-85769-189X.
Název česky
IEEE TC-ECBS a IFIP WG10.1 společný workshop o formálních specifikacíh systémů založených na počítačích
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 specifications, computer-based systems, hardware/software systems specification

Abstrakt

Sborník prezentuje 12 příspěvků přijatých pro IEEE TC-ECBS a IFIP WG10.1 společný workshop o formálních specifikacíh systémů založených na počítačích, který se konal v Huntsville, AL, USA, 9-10 dubna 2003.

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