Result Details

Executable specifications for embedded distributed systems

ŠVÉDA, M., VRBA, R. Executable specifications for embedded distributed systems. COMPUTER, 2001, vol. 2001, no. 1, 140 p. ISSN: 0018-9162.

Type

journal article

Language

English

Authors

Švéda Miroslav, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc.

Abstract

Executable specifications for embedded
distributed systems

Keywords

Executable specifications for embedded
distributed systems

Published

2001

Pages

140

Journal

COMPUTER, vol. 2001, no. 1, ISSN 0018-9162

BibTeX

@article{BUT46388,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable specifications for embedded distributed systems",
  journal="COMPUTER",
  year="2001",
  volume="2001",
  number="1",
  pages="140",
  issn="0018-9162"
}

Departments

Department of Microelectronics (UMEL)