Detail publikačního výsledku

Executable specifications for embedded distributed systems

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

Originální název

Executable specifications for embedded distributed systems

Anglický název

Executable specifications for embedded distributed systems

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

Executable specifications for embedded distributed systems

Anglický abstrakt

Executable specifications for embedded distributed systems

Klíčová slova

Executable specifications for embedded distributed systems

Klíčová slova v angličtině

Executable specifications for embedded distributed systems

Autoři

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

Vydáno

05.05.2001

ISSN

0018-9162

Periodikum

COMPUTER

Svazek

2001

Číslo

1

Stát

Spojené státy americké

Strany od

138

Strany počet

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