Publication Details

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

DVOŘÁK Václav, ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 9, no. 11, 2004, pp. 1258-1260. ISSN 0948-6968.
Czech title
Formální specifikace systémů založených na počítačích - speciální číslo J.UCS
Type
journal article
Language
english
Authors
Dvořák Václav, prof. Ing., DrSc. (DCSY FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Rattray Charles ( unknown)
Rozenblit Jerzy ( unknown)
Keywords

Formal specifications, Computer-based systems

Abstract

Introduction to the Special Issue of Journal of Universal Computer Science related to the 4th Workshop on Formal Specification of Computer-Based Systems

Published
2004
Pages
1258-1260
Journal
Journal of Universal Computer Science, vol. 9, no. 11, ISSN 0948-6968
Book
Journal of Universal Computer Science
Publisher
Springer Verlag
BibTeX
@ARTICLE{FITPUB7354,
   author = "V\'{a}clav Dvo\v{r}\'{a}k and Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit",
   title = "Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
   pages = "1258--1260",
   booktitle = "Journal of Universal Computer Science",
   journal = "Journal of Universal Computer Science",
   volume = 9,
   number = 11,
   year = 2004,
   ISSN = "0948-6968",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7354"
}
Back to top