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.

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

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

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

This list was generated on Thu Nov 21 12:31:09 2024 CET.
OAI 2.0 -Basis-URL: https://tuprints.ulb.tu-darmstadt.de/cgi /oai2 TUprints verwendet EPrints 3 .
Drucken | Impressum | Datenschutzerklärung