Detail publikace

Formal Approach to RTL Testability Analysis

HLAVIČKA Jan, KOTÁSEK Zdeněk a RŮŽIČKA Richard. Formal Approach to RTL Testability Analysis. In: sborník konference IEEE LATW 2000. Rio de Janeiro: neznámá, 2000, s. 98-103.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Hlavička Jan, Prof. Ing., DrSc. (FEL ČVUT)
Kotásek Zdeněk, Doc. Ing., CSc. (UIVT-VVS FEI VUT)
Růžička Richard, Ing. (UIVT FEI VUT)
Rok
2000
Strany
98-103
Sborník
sborník konference IEEE LATW 2000
Konference
IEEE LATW 2000, Rio de Janeiro, BR
Vydavatel
neznámá
Místo
Rio de Janeiro, BR
BibTeX
@INPROCEEDINGS{FITPUB6044,
   author = "Jan Hlavi\v{c}ka and Zden\v{e}k Kot\'{a}sek and Richard R\r{u}\v{z}i\v{c}ka",
   title = "Formal Approach to RTL Testability Analysis",
   pages = "98--103",
   booktitle = "sborn\'{i}k konference IEEE LATW 2000",
   year = 2000,
   location = "Rio de Janeiro, BR",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6044"
}
Nahoru