Hierarchical test synthesis for digital systems using alternative graph model
author
Ubar, Raimund-Johannes
statement of authorship
R.Ubar
source
Quantitative aspects of designing and validating dependable computing systems
location of publication
S.l.
year of publication
1995
subject term
testid
testimine
süntees
digitaaltehnika
graafid
mudelid
notes
(Dagstuhl-Seminar-Report, ISSN 0940-1121 ; 132)
language
inglise