Thums, Andreas
10  results:
Search for persons X
?
1

Developing long-term stable product line architectures:

, In: Proceedings of the 16th International Software Product Line Conference - Volume 1,
 
?
2

Safety analysis of the height control system for the Elbtun..:

Ortmeier, Frank ; Schellhorn, Gerhard ; Thums, Andreas...
Reliability Engineering & System Safety.  81 (2003)  3 - p. 259-268 , 2003
 
?
3

Interactive Verification of Statecharts:

Thums, Andreas ; Balser, Michael
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/578.  , 2007
 
?
4

Formale Methoden und Sicherheitsanalyse:

Thums, Andreas ; Ortmeier, Frank
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/193.  , 2006
 
?
5

The Statemate Reference Model of the Reference Case Study '..:

Klose, Jochen ; Thums, Andreas
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/200.  , 2006
 
?
6

Integration formaler Spezifikation und Sicherheitsanalyse:

Reif, Wolfgang (Prof. Dr.) ; Schellhorn, Gerhard ; Thums, Andreas
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/203.  , 2006
 
?
7

Interactive verification of UML state machines:

Balser, Michael ; Bäumler, Simon ; Knapp, Alexander..
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44769.  , 2004
 
?
8

Formale Fehlerbaumanalyse ; Formal Fault Tree Analysis:

Thums, Andreas
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/17.  , 2004
 
?
9

Dinge des Exils 

Exilforschung ; 31, Ein internationales Jahrbuch
Asmus, Sylvia ; Bender, Jesko ; Bischoff, Doerte... - Reprint 2021 . , [2022]
 
1-10