Publication detail

Executable Specifications for Distributed Embedded Systems.

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

Original Title

Executable Specifications for Distributed Embedded Systems.

English Title

Executable Specifications for Distributed Embedded Systems.

Type

conference paper

Language

en

RIV year

2000

Released

01.01.2001

ISBN

1-85-769121-0

Book

Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS.

Edition number

1.

Pages from

81

Pages to

85

Pages count

5

Documents

BibTex


@inproceedings{BUT2052,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable Specifications for Distributed Embedded Systems.",
  booktitle="Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS.",
  chapter="2052",
  year="2001",
  month="january",
  pages="81",
  type="conference paper"
}