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