TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2007 | 2006
Anzahl der Einträge: 3.

2007

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Hrsg.: Puebla, Germán (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Krausser, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

2006

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Hrsg.: Puebla, Germán (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:30:14 2024 CET generiert.