TU Darmstadt / ULB / TUprints

Items where Division is "Department of Computer Science > Software Engineering" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: D | F | M | W
Number of items at this level: 4.

D

Do, Quoc Huy :
Detection and Exploitation of Information Flow Leaks.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)

F

Flores Montoya, Antonio :
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)

M

Meyer zu Hörste, Michael and Kamburjan, Eduard and Hähnle, Reiner and Winter, Hanno and Willert, Volker and Adamy, Jürgen and Leining, Michael and Spindler, Max and Lauer, Martin and Stein, Denis and Heirich, Oliver and Groos, Jörn and Geffert, Arne and Becker, Uwe and Breuer, Michael and Bachurina, Daria and Düpmeier, Frederik
Oetting, Andreas (ed.) :

Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
In: Die Steuerung des Eisenbahnbetriebs der Zukunft, 19.04.2017, Darmstadt. In: Scientific Railway Signalling Symposium. Darmstadt
[Conference or Workshop Item], (2017)

W

Wasser, Nathan Daniel :
Automatic generation of specifications using verification tools.
Technische Universität Darmstadt, Darmstadt
[Ph.D. Thesis], (2017)

This list was generated on Tue Nov 13 07:58:16 2018 CET.