Detail publikace

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

RATTRAY Charles, ŠVÉDA Miroslav a ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. 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
Jazyk
angličtina
Autoři
Rattray Charles ( neznámá)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Rozenblit Jerzy ( neznámá)
Abstrakt

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

Rok
2004
Strany
64
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Brno, CZ
ISBN
1-85769-1970
Vydavatel
University of Stirling
Místo
Stirling, GB
BibTeX 
@PROCEEDINGS{FITPUB7470,
   editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit",
   title = "Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 64,
   year = 2004,
   location = "Stirling, GB",
   publisher = "University of Stirling",
   ISBN = "1-85769-1970",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7470"
}
Nahoru