Publication detail

Executable specifications for embedded distributed systems

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

Original Title

Executable specifications for embedded distributed systems

Type

journal article - other

Language

English

Original Abstract

Executable specifications for embedded distributed systems

Keywords

Executable specifications for embedded distributed systems

Authors

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

Released

5. 5. 2001

ISBN

0018-9162

Periodical

Computer

Year of study

2001

Number

1

State

United States of America

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",
  journal="Computer",
  year="2001",
  volume="2001",
  number="1",
  pages="140",
  issn="0018-9162"
}