Detail publikace

Formal Specifications of Computer-Based Systems

RATTRAY Charles a ŠVÉDA Miroslav. Formal Specifications of Computer-Based Systems. In: Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001. Washington D.C.: IEEE Computer Society, 2001, s. 357-358. ISBN 0-7695-1086-8.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rattray Charles ( neznámá)
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Rok
2001
Strany
357-358
Sborník
Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001
Konference
The 8th IEEE International Conference and Workshop ECBS'2001, Washington D.C., US
ISBN
0-7695-1086-8
Vydavatel
IEEE Computer Society
Místo
Washington D.C., US
BibTeX 
@INPROCEEDINGS{FITPUB6518,
   author = "Charles Rattray and Miroslav \v{S}v\'{e}da",
   title = "Formal Specifications of Computer-Based Systems",
   pages = "357--358",
   booktitle = "Proceedings of the 8th IEEE International Conference and Workshop ECBS'2001",
   year = 2001,
   location = "Washington D.C., US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-1086-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6518"
}
Nahoru