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.
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
Drucken
Impressum