Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
2020
Metzler, Patrick (2020)
Verification and Enforcement of Safe Schedules for Concurrent Programs.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00013432
Dissertation, Erstveröffentlichung, Verlagsversion
2016
Taha, Ahmed ; Metzler, Patrick ; Trapero, Ruben ; Luna, Jesus ; Suri, Neeraj (2016)
Identifying and Utilizing Dependencies Across Cloud Security Services.
Xi'an, China
doi: 10.1145/2897845.2897911
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum