RPTU University Library

Send mail to Author

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 _    _      ___     _____     __   __    ____     __   __  
| |  | ||   / _ \\  |  __ \\   \ \\/ //  |  _ \\   \ \\/ // 
| |/\| ||  / //\ \\ | |  \ ||   \ ` //   | |_| ||   \ ` //  
|  /\  || |  ___  ||| |__/ ||    | ||    | .  //     | ||   
|_// \_|| |_||  |_|||_____//     |_||    |_|\_\\     |_||   
`-`   `-` `-`   `-`  -----`      `-`'    `-` --`     `-`'
 


Back to frontdoor view