Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
2007
Kraußer, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie
Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie
2006
Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum