Publication Details
Formal Specifications of Computer-Based Systems - J.UCS Special Issue
ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 10, no. 10, 2004, pp. 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. (DIFS FIT BUT)
Rattray Charles ( unknown)
Rozenblit Jerzy ( unknown)
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 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
Publisher
Springer Verlag
BibTeX
@ARTICLE{FITPUB7633, author = "Miroslav \v{S}v\'{e}da and Charles Rattray and Jerzy Rozenblit", title = "Formal Specifications of Computer-Based Systems - J.UCS Special Issue", pages = "1354--1356", booktitle = "Journal of Universal Computer Science", journal = "Journal of Universal Computer Science", volume = 10, number = 10, year = 2004, ISSN = "0948-6968", language = "english", url = "https://www.fit.vut.cz/research/publication/7633" }