Selected issues of modeling, verification and testing of digital systems
                                            autor
                                    
                                    
                                
                                            juhendaja
                                    
                                    
                                
                                            vastutusandmed
                                    
                                    
Artur Jutman ; [supervisor: Raimund Ubar]
                                                    
                                            
                                            dissertatsiooni liik
                                    
                                    
doktoritöö
                                                    
                                            
                                            ülikool/teadusasutus
                                    
                                    
Tallinna Tehnikaülikool
                                                    
                                            
                                            ilmumiskoht
                                    
                                    
Tallinn
                                                    
                                            
                                            kirjastus/väljaandja
                                    
                                    
                                
                                            ilmumisaasta
                                    
                                    
                                
                                            leheküljed
                                    
                                    
95, [1] p. : ill
                                                    
                                            
                                            seeria-sari
                                    
                                    
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 17
                                                    
                                            
                                            vormimärksõna
                                    
                                    
                                
                                            ISBN
                                    
                                    
9985-59-472-X
                                                    
                                            
                                            märkused
                                    
                                    
Includes bibliogr. Thesis (Ph.D. in Engineering) : Tallinn University of Technology, 2004. Autori CV inglise ja eesti keeles lk. 89-92
                                                    
                                            
                                            retsensioon
                                    
                                    
Kokkuvõte: Valitud teemad digitaalsüsteemide modelleerimisest, verifitseerimisest ja testimisest
                                                    
                                            
                                            TTÜ struktuuriüksus
                                    
                                    
                                
                                            keel
                                    
                                    
inglise
                                                    
                                            
                            Jutman, A. Selected issues of modeling, verification and testing of digital systems. Tallinn : TUT Press, 2004. 95, [1] p. : ill. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 17).