Name Card

Full name Familienname, Vorname
Penz, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Penz, Michael In-system formal verificationThesis Hochschulschrift2022
2Penz, Michael ; Meisel, Marcus ; Sauter, Thilo Implementation of New Consumer Model in RAPSim to Allow Home Management System IntegrationKonferenzbeitrag Inproceedings 2018
3Penz, Michael ; Meisel, Marcus ; Sauter, Thilo Implementation of new consumer model in RAPSim to allow home management system integrationPräsentation Presentation2018