Detail výsledku

Executable Specifications for Distributed Embedded Systems.

ŠVÉDA, M., VRBA, R. Executable Specifications for Distributed Embedded Systems. In Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. 2001. 5 p. ISBN: 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc.
Rok
2001
Strany
5
Sborník
Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS.
Vydání
1.
ISBN
1-85-769121-0
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"
}
Pracoviště
Ústav mikroelektroniky (UMEL)
Nahoru