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
Jump to: 2017 | 2011 | 2010 | 2009
Number of items at this level (without sub-levels): 4.

2017

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

2011

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

2010

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

2009

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

This list was generated on Fri Mar 29 03:04:00 2024 CET.