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