Items where Division is "20 Department of Computer Science > Formal Methods in System Engineering" and Year is [pin missing: value2]
 | Up a level |
- TU Darmstadt (4)
- 20 Department of Computer Science (4)
- Formal Methods in System Engineering (4)
- 20 Department of Computer Science (4)
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
Drucken
Impressum