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