Veith, Helmut
Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Veith, Helmut
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.003 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints | Article Artikel | 2017 |
Date issued
Fulltext
Results 1-4 of 4 (Search time: 0.02 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Birgmeier, Johannes | Software verification with IC3 via abstraction and interpolation | Thesis Hochschulschrift | 2013 |
2 | ![]() | Pani, Thomas | Loop patterns in C programs | Thesis Hochschulschrift | 2013 |
3 | ![]() | Dobiasch, Martin | Concolic testing of concurrent software in the context of weak memory models | Thesis Hochschulschrift | 2014 |
4 | ![]() | Ehsani, Anna Parisa | Der Animationsfilm im Informationsdesign; die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der Informatik | Thesis Hochschulschrift | 2015 |