Detail publikace

High-Level Specification and Verification as a New Design Methodology

DRÁBEK Vladimír. High-Level Specification and Verification as a New Design Methodology. In: Brno, 1996, s. 197-200. ISBN 80-214-0768-9.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Drábek Vladimír, doc. Ing., CSc. (UIVT FEI VUT)
Rok
1996
Strany
197-200
ISBN
80-214-0768-9
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB5610,
   author = "Vladim\'{i}r Dr\'{a}bek",
   title = "High-Level Specification and Verification as a New Design Methodology",
   pages = "197--200",
   year = 1996,
   location = "Brno, CZ",
   ISBN = "80-214-0768-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5610"
}
Nahoru