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