Publication Details

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

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1354-1356. ISSN: 0948-6968.

Czech title

Formální specifikace systémů založených na počítačích - speciální číslo časopisu J.UCS

Type

journal article

Language

English

Authors

Š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 5th Workshop on Formal Specification of Computer-Based Systems

Published

2004

Pages

1354–1356

Journal

Journal of Universal Computer Science, vol. 10, no. 10, ISSN 0948-6968

Book

Journal of Universal Computer Science

BibTeX

@article{BUT45736,
  author="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="10",
  number="10",
  pages="1354--1356",
  issn="0948-6968"
}