UNIVERSITÄTSBIBLIOTHEK

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