Detail publikačního výsledku

Executable Specifications for Distributed Embedded Systems.

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

Originální název

Executable Specifications for Distributed Embedded Systems.

Anglický název

Executable Specifications for Distributed Embedded Systems.

Druh

Stať ve sborníku v databázi WoS či Scopus

Autoři

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

Vydáno

01.01.2001

ISBN

1-85-769121-0

Kniha

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

Strany od

81

Strany počet

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"
}