Publication detail

Executable specifications for embedded distributed systems

ŠVÉDA, M., VRBA, R.

Original Title

Executable specifications for embedded distributed systems

English Title

Executable specifications for embedded distributed systems

Type

journal article

Language

en

Original Abstract

Executable specifications for embedded distributed systems

English abstract

Executable specifications for embedded distributed systems

Keywords

Executable specifications for embedded distributed systems

Released

05.05.2001

Pages from

138

Pages to

277

Pages count

140

BibTex


@article{BUT46388,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable specifications for embedded distributed systems",
  annote="Executable specifications for embedded
distributed systems",
  chapter="46388",
  journal="Computer",
  number="1",
  volume="2001",
  year="2001",
  month="may",
  pages="138",
  type="journal article"
}