Hierarchical test synthesis for digital systems using alternative graph model
author
statement of authorship
R.Ubar
source
Quantitative aspects of designing and validating dependable computing systems
location of publication
S.l.
year of publication
notes
(Dagstuhl-Seminar-Report, ISSN 0940-1121 ; 132)
language
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.