Detail publikace

Executable Specifications for Distributed Embedded Systems.

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

Originální název

Executable Specifications for Distributed Embedded Systems.

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Autoři

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

Rok RIV

2000

Vydáno

1. 1. 2001

ISBN

1-85-769121-0

Kniha

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

Číslo edice

1.

Strany od

81

Strany do

85

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