RPTU University Library

Send mail to Author

Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen (Doctoral Thesis)

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



 
 _    _     _____                ___      ______   _    _   
| || | ||  |  ___||   ____      / _ \\   /_   _// | || | || 
| || | ||  | ||__    |    \\   / //\ \\    | ||   | || | || 
| \\_/ ||  | ||__    | [] ||  |  ___  ||  _| ||   | \\_/ || 
 \____//   |_____||  |  __//  |_||  |_|| /__//     \____//  
  `---`    `-----`   |_|`-`   `-`   `-`  `--`       `---`   
                     `-`
 


Back to frontdoor view