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