TU Darmstadt / ULB / TUprints

Items where Division is "20 Department of Computer Science > Formal Methods in System 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
Number of items at this level (without sub-levels): 4.

Report

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Primary publication

Ph.D. Thesis

Bokor, Péter (2011)
Efficient Verification of Fault-Tolerant Message-Passing Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

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

Kinder, Johannes (2010)
Static Analysis of x86 Executables.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

This list was generated on Mon Jun 24 17:31:03 2024 CEST.