RPTU Universitätsbibliothek

Mail an Autor*in

Model-based Generation of Assertions for Pre-silicon Verification (Dissertation)

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



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


Zurück zur Frontdoor