RPTU University Library

Send mail to Author

Coverage of Compositional Property Sets for Hardware and Hardware-dependent Software in Formal System-on-Chip Verification (Doctoral Thesis)

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



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


Back to frontdoor view