Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠVÉDA, M., VRBA, R.
Original Title
Executable specifications for embedded distributed systems
Type
journal article - other
Language
English
Original Abstract
Keywords
Authors
Released
5. 5. 2001
ISBN
0018-9162
Periodical
Computer
Year of study
2001
Number
1
State
United States of America
Pages from
138
Pages to
277
Pages count
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" }