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