Okan Özkan
Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg 2023
Dissertation:
Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification
Mathematics Subject Classification: 68—Computer science
Advisor: Annegret Habel
Second Gutachterin: Barbara König
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 303816 for the advisor ID.