Detail publikace

Executable specifications for Process Automation and Microelectronics

KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav a VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, s. 91-98. ISBN 1-85769-169-5.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kučera Pavel, Ing. (UAMT FEI VUT)
Zezulka František, doc. Ing., CSc. (UAMT FEI VUT)
Švéda Miroslav, Prof. Ing., CSc. (UPSY FIT VUT)
Vrba Radimír, prof. Ing., CSc. (UMEL FEI VUT)
Rok
2002
Strany
91-98
Sborník
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, SE
ISBN
1-85769-169-5
Vydavatel
University of Stirling
Místo
Lund, SE
BibTeX
@INPROCEEDINGS{FITPUB6893,
   author = "Pavel Ku\v{c}era and Franti\v{s}ek Zezulka and Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Executable specifications for Process Automation and Microelectronics",
   pages = "91--98",
   booktitle = "IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
   year = 2002,
   location = "Lund, SE",
   publisher = "University of Stirling",
   ISBN = "1-85769-169-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6893"
}
Nahoru