Publication detail

Executable Specifications for Distributed Embedded Systems.

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

Original Title

Executable Specifications for Distributed Embedded Systems.

Type

conference paper

Language

English

Authors

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

RIV year

2000

Released

1. 1. 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

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.",
  year="2001",
  number="1.",
  pages="5",
  isbn="1-85-769121-0"
}