1
0
0
(1 - 18 von 19
)
Haneberg Dominik
www.jucs.org
Dominik Haneberg University of Augsburg, Germany. R. Berghammer, D. Haneberg, W. Reif, G. Schellhorn: J.UCS Special Issue on Tools for System Design and ... › Haneberg_...
Electronic Ticketing - a Case-Study - Dominik Haneberg - Google Books
books.google.de
Electronic Ticketing - a Case-Study. Front Cover. Dominik Haneberg. Universität Augsburg, Reviews. What people are saying - Write a review.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International...
books.google.de
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, and Wolfgang Reif Institute for Software & Systems Engineering University of Augsburg, ...
Algebraic Methodology and Software Technology: 9th International...
books.google.de
Dominik Haneberg, Wolfgang Reif, and Kurt Stenzel Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg
SCEAShttp://sceas.csd.auth.gr › search
sceas.csd.auth.gr
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel A Method for Secure Smartcard Applications. · (0, 0)][DBLP] AMAST, 2002, pp: [Conf] ; Holger Grandy, Dominik ... › search
Applying Formal Methods: Testing, Performance, and M/E-Commerce:...
books.google.de
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce,...
The Church, the Councils, and Reform: The Legacy of the Fifteenth...
books.google.com.ua
Thorbecke, 2004), 131–140; Mathias Drton, Günter Hägele, Dominik Haneberg, ...
Die verflixte Mathematik der Demokratie - George G. Szpiro - Google...
books.google.de
Der Band erläutert die mathematischen Hintergründe der demokratischen Wahlsysteme und führt dabei zugleich in ihre Geschichte ein. Die Mehrheitswahl und die...
Verified Software: Theorie, Tools, Experiments: 5th International...
books.google.com.ua
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and...
Digital Excellence: University Meets Economy - Google Books
books.google.de
University of Karlsruhe; ISSN )9/54(8 9/) :(2/) Andreas Böhm, Bernhard Murtz, Carsten 66 Dominik Haneberg.
Emerging Trends in Information and Communication Security:...
books.google.de
This book constitutes the refereed proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS 2006, held...
FM 2006: Formal Methods: 14th International Symposium on Formal...
books.google.de
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August The book...
Verhaltensgarantien in Selbst-Organisierenden Systemen - Florian Nafz...
books.google.de
Zukunftige Systeme erfordern ein hohes Mass an Flexibilitat, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr...
Rigorous Methods for Software Construction and Analysis: ...books.google.com › books
books.google.lv
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, and ...
Verified Software: Theorie, Tools, Experiments: 5th ...
books.google.no
Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, and Wolfgang Reif Institute for Software and ...
Electronic Ticketing : a Smartcard Application Case-study - Dominik ...
books.google.de
Electronic Ticketing : a Smartcard Application Case-study. Front Cover. Dominik Haneberg. Universität Augsburg, › about
sortiert nach Relevanz / Datum