Publication Details

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

DVOŘÁK, V.; ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 9, no. 11, p. 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.
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rattray Charles
Rozenblit Jerzy
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
BibTeX
@article{BUT45713,
  author="Václav {Dvořák} and Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems - J.UCS Special Issue",
  journal="Journal of Universal Computer Science",
  year="2004",
  volume="9",
  number="11",
  pages="1258--1260",
  issn="0948-6968"
}
Back to top