RPTU University Library

Send mail to Author

Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems (Doctoral Thesis)

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



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


Back to frontdoor view