Untestable fault identification in sequential circuits using model-checking
vastutusandmed                    
                    
Jaan Raik, Hideo Fujiwara, Raimund Ubar, Anna Krivenko
                            
                    
ilmumiskoht                    
                    
Kolkata
                            
                    
kirjastus/väljaandja                    
                    
                
ilmumisaasta                    
                    
                
leheküljed                    
                    
p. 257-262 : ill
                            
                    
ISBN                    
                    
978-93-80813-12-7
                            
                    
märkused                    
                    
Bibliogr.: 11 ref
                            
                    
keel                    
                    
inglise
                            
                    
                            Raik, J., Fujiwara, H., Ubar, R., Krivenko, A. Untestable fault identification in sequential circuits using model-checking // 2002-2011 : 20th Anniversary compendium of papers from Asian Test Symposium. Kolkata : IEEE, 2011. p. 257-262 : ill.