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