TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 3.

Dmitrienko, Alexandra ; Gessner, Dennis ; Sadeghi, Ahmad-Reza ; Schulz, Steffen ; Stüble, Christian ; Ullmann, Markus :
Trusted embedded System Operating System (TeSOS) - Study and Design.

[Anderes] , (2011) ((Noch) nicht publiziert)

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS , 3450 . Springer-Verlag
[ Konferenzveröffentlichung] , (2005)

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20]
In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. In: Lecture Notes in Computer Science , 3450 . Springer
[ Konferenzveröffentlichung] , (2005)

Diese Liste wurde am Tue Feb 19 02:45:02 2019 CET generiert.