TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Report
Aderhold, Markus ; Gebhardt, Alexander ; Mantel, Heiko (2013)
Choosing a Formalism for Secure Coding: FSM vs. LTL.
Report, Bibliographie