Result 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.
Type
journal article
Language
English
Authors
Dvořák Václav, prof. Ing., DrSc., DCSY (FIT)
Š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 4th Workshop on Formal Specification of Computer-Based Systems

Keywords

Formal specifications, 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-695X"
}
Projects
Parallel system performance prediction and tuning, GACR, Standardní projekty, GA102/02/0503, start: 2002-01-01, end: 2004-12-31, completed
Research groups
Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)
Departments
Department of Computer Systems (DCSY)
Department of Information Systems (DIFS)
Faculty of Information Technology (FIT)
Back to top