Hierarchical test synthesis for digital systems using alternative graph model
autor
vastutusandmed
R.Ubar
allikas
Quantitative aspects of designing and validating dependable computing systems
ilmumiskoht
S.l.
ilmumisaasta
märkused
(Dagstuhl-Seminar-Report, ISSN 0940-1121 ; 132)
keel
inglise
Ubar, R. Hierarchical test synthesis for digital systems using alternative graph model // Quantitative aspects of designing and validating dependable computing systems. S.l., 1995.