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. Procedings of the University of Stirling. Washington D.C.: University of Stirling, 2001. ISBN 1-85-769144-X.
Typ
konferenční sborník
Jazyk
angličtina
Autoři
Rattray Charles ( neznámá)
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Rozenblit Jerzy ( neznámá)
Rok
2001
Strany
150
Řada
Procedings of the University of Stirling
Konference
The 2nd IEEE/IFIP Joint Workshop on Formal Specification of Computer-Based Systems, FSCBS'2001, Washington D.C., US
ISBN
1-85-769144-X
Vydavatel
University of Stirling
Místo
Washington D.C., US
BibTeX 
@PROCEEDINGS{FITPUB6516,
   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 = 150,
   series = "Procedings of the University of Stirling",
   year = 2001,
   location = "Washington D.C., US",
   publisher = "University of Stirling",
   ISBN = "1-85-769144-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6516"
}
Nahoru