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