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 | H | K
Anzahl der Einträge auf dieser Ebene: 4.

B

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

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 Sun Apr 23 06:23:39 2017 CEST generiert.