Result Details

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.

Type

conference paper

Language

English

Authors

Švéda Miroslav, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc.

Published

2001

Pages

Proceedings

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

Edition

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

Departments

Department of Microelectronics (UMEL)