Detail publikace

Executable specifications for embedded distributed systems

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

Originální název

Executable specifications for embedded distributed systems

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

Executable specifications for embedded distributed systems

Klíčová slova

Executable specifications for embedded distributed systems

Autoři

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

Vydáno

5. 5. 2001

ISSN

0018-9162

Periodikum

Computer

Ročník

2001

Číslo

1

Stát

Spojené státy americké

Strany od

138

Strany do

277

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