RPTU University Library

Send mail to Author

Compositional Formal Verification of Automotive Firmware Designs (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 __   __   _    _    _    _    __   __    ______     ___    
 \ \\/ // | || | || | |  | ||  \ \\/ //  /_____//   / _ \\  
  \   //  | || | || | |/\| ||   \ ` //   `____ `   | / \ || 
  / . \\  | \\_/ || |  /\  ||    | ||    /___//    | \_/ || 
 /_//\_\\  \____//  |_// \_||    |_||    `__ `      \___//  
 `-`  --`   `---`   `-`   `-`    `-`'    /_//       `---`   
                                         `-`
 


Back to frontdoor view