Result 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.
Type
journal article
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT)
Rattray Charles
Rozenblit Jerzy
Abstract

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

Keywords

Formal specifications, 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-695X"
}
Projects
Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed
Parallel system performance prediction and tuning, GACR, Standardní projekty, GA102/02/0503, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Information and Database Systems Research Group (RG IS)
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top