Hierarchical test synthesis for digital systems using alternative graph model
autor
Ubar, Raimund-Johannes
vastutusandmed
R.Ubar
allikas
Quantitative aspects of designing and validating dependable computing systems
ilmumiskoht
S.l.
ilmumisaasta
1995
märksõna
testid
testimine
süntees
digitaaltehnika
graafid
mudelid
märkused
(Dagstuhl-Seminar-Report, ISSN 0940-1121 ; 132)
keel
inglise