Detail publikace

Proceedings 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 IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. 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
Jazyk
angličtina
Autoři
Rattray Charles ( neznámá)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Rozenblit Jerzy ( neznámá)
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
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US
ISBN
1-85769-189X
Vydavatel
University of Stirling
Místo
Huntsville, AL, US
BibTeX 
@PROCEEDINGS{FITPUB7156,
   editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit",
   title = "Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 48,
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "University of Stirling",
   ISBN = "1-85769-189X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7156"
}
Nahoru