Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT)
Rattray Charles
Rozenblit Jerzy
Abstrakt

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

Klíčová slova

Formal specifications, Computer-based systems

Rok
2004
Strany
1354–1356
Časopis
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, roč. 10, č. 10, ISSN 0948-6968
Kniha
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"
}
Projekty
Predikce a ladění paralelní výkonnosti, GAČR, Standardní projekty, GA102/02/0503, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru