TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 5.

Frischbier, Sebastian ; Gesmann, Michael ; Mayer, Dirk ; Roth, Andreas ; Webel, Christian :
Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems.
In: Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012).
[ Konferenzveröffentlichung] , (2012)

Bubel, Richard ; Roth, Andreas ; Rümmer, Philipp :
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
[Online-Edition: https://doi.org/10.1016/j.entcs.2007.11.015]
In: Electr. Notes Theor. Comput. Sci., 199 S. 107-128.
[Artikel] , (2008)

Roth, Andreas :
Flexible - Eine erweiterbare {GUI} f{\"u}r den FlexiProvider (Backend).
Technische Universität Darmstadt
[Masterarbeit] , (2007)

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter :
The KeY tool: integrating object oriented design and formal verification.
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x]
In: Software and System Modeling, 4 (1) S. 32.
[Artikel] , (2005)

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen :
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, 98 (1) 17--53.
[Artikel] , (2004)

Diese Liste wurde am Tue Feb 19 04:19:24 2019 CET generiert.