TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Formal Methods in System Engineering"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: B | F | H | K
Anzahl der Einträge auf dieser Ebene: 5.

B

Bokor, Péter :
Efficient Verification of Fault-Tolerant Message-Passing Protocols.
[Online-Edition: urn:nbn:de:tuda-tuprints-28185]
TU Darmstadt
[Dissertation], (2011)

F

Flores Montoya, Antonio :
Cost Analysis of Programs Based on the Refinement of Cost Relations.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6746]
Technische Universität , Darmstadt
[Dissertation], (2017)

H

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
A Precise Specification Framework for White Box Program Testing.
[Online-Edition: http://www.informatik.tu-darmstadt.de/de/forschung/veroeffen...]
Darmstadt
[Report], (2009)

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut :
A Precise Specification Framework for White Box Program Testing.
[Online-Edition: urn:nbn:de:tuda-tuprints-19196]
Darmstadt
[Report], (2009)

K

Kinder, Johannes :
Static Analysis of x86 Executables.
[Online-Edition: urn:nbn:de:tuda-tuprints-23388]
Technische Universität Darmstadt
[Dissertation], (2010)

Diese Liste wurde am Thu Sep 21 07:00:40 2017 CEST generiert.