RPTU Universitätsbibliothek

Mail an Autor*in

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

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



 
  _____      ___                 ___      ______     ___    
 |__  //    / _ \\    ____      / _ \\   /_____//   / _ \\  
   / //    | / \ ||  |    \\   / //\ \\  `____ `   | / \ || 
  / //__   | \_/ ||  | [] ||  |  ___  || /___//    | \_/ || 
 /_____||   \___//   |  __//  |_||  |_|| `__ `      \___//  
 `-----`    `---`    |_|`-`   `-`   `-`  /_//       `---`   
                     `-`                 `-`
 


Zurück zur Frontdoor