Detail publikace

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. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
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. (UPSY 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 Lundu, ve Švédsku, 10-11 dubna 2002.

Rok
2002
Strany
102
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE
ISBN
1-85769-169-5
Vydavatel
University of Stirling
Místo
Lund, SE
BibTeX 
@PROCEEDINGS{FITPUB6894,
   editor = "Charles Rattray and Miroslav \v{S}v\'{e}da and Jerzy Rozenblit",
   title = "IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   pages = 102,
   year = 2002,
   location = "Lund, SE",
   publisher = "University of Stirling",
   ISBN = "1-85769-169-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6894"
}
Nahoru