1
0
0
(1 - 22 von 22
)
Georg Rock - dblpdblp.org › Persons
dblp.org
· Lucas Küntzer, Michael Hoffmann, Georg Rock: Virtual Reality as an E-Learning tool in the student-centered vehicle development project ...
Publikationen der UdS: Formal methods for real-time requirements...
publikationen.sulb.uni-saarland.de
Saarbruc ken, January Georg Rock. x ACKNOWLEDGEMENTS. Abstract Timed model checking turned out to be a very successful technique for the veri -
dblp: ISPE Conference on Concurrent Engineering 2012
dblp.uni-trier.de
Bibliographic content of ISPE Conference on Concurrent Engineering 2012
Search results for "Andreas Wolpers" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Andreas Wolpers" ... Georg Rock(5) Dieter Hutter(4) ... Werner Stephan 0004, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, ...
Search results for "FM-Trends" – FacetedDBLP
dblp.l3s.de
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan 0004, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Jörg H. Siekmann - DBLPdblp.uni-trier.de › Jörg H. Siekmann
dblp.uni-trier.de
· Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification ...
Search results for "Bernd Gaede" – FacetedDBLP
dblp.l3s.uni-hannover.de
Christoph Weidenbach, Bernd Gaede, Georg Rock: SPASS & FLOTTER Version CADE : 1996: DBLP DOI BibTeX RDF: Displaying result #1 - #5 of 5 (100 per page; …
dblp: Formale Beschreibungstechniken 1999
dblp.uni-trier.de
Bibliographic content of Formale Beschreibungstechniken 1999
www.mais.informatik.tu-darmstadt.de
www.mais.informatik.tu-darmstadt.de
@Article{ ar:vsegroup00a, author = {Serge Autexier and Dieter Hutter and Bruno Langenstein and Heiko Mantel and Georg Rock and Axel Schairer and Werner …
dblp: Christoph Weidenbach
dblp.uni-trier.de
List of computer science publications by Christoph Weidenbach
FM-TOOLS : Call for Participation
www.informatik.uni-bremen.de
Werner Stephan, Georg Rock, Andreas Nonnengart Modelling Wolfgang Goerigk Reflections on Ken Thompson's 'Reflections on ...
Publikationen ASR
www.dfki.de
Publikationen (ASR). Seite 1 von 2. Gunter Lassmann, Georg Rock, Matthias Schwan, Lassaad Cheikhrouhou · Verisoft secure biometric identification system.
Publikationen IFS
www.dfki.de
Publikationen (IFS). Seite 1 von 2. Gunter Lassmann, Georg Rock, Matthias Schwan, Lassaad Cheikhrouhou · Verisoft secure biometric identification system.
EDISS - Schulentwicklung auf der Basis von Schulleistungsstudien -...
ediss.sub.uni-hamburg.de
OPUS Version
Safecomp 2007
www11.informatik.uni-erlangen.de
Georg Rock - DFKI (Germany) Werner Stephan - DFKI (Germany). 15:25-15:45, Coffee Break. 15:45-16:45, Panel: Certifying Software Tools for Dependable ...
CCL Bibliography 1996
www.ps.uni-saarland.de
CCL Bibliography CIS München Franz Baader and Klaus U. Schulz, editors. Frontiers of Combining Systems, APLS. Kluwer Academic Publishers,
Modeling and Analysis of Information Systems » Publications
www.mais.informatik.tu-darmstadt.de
Dieter Hutter and Heiko Mantel and Georg Rock and Werner Stephan and Andreas Wolpers and Michael Balser and Wolfgang Reif and Gerhard Schellhorn and Kurt Stenzel.
Fachgruppe der GI
www-ps.informatik.uni-kiel.de
Wolfram Lippe (Universität Münster) Güteaussagen für Neuronale Netze; R. Hampel, N. Chaker (FH Zittau) Sicherheitstechnische Anwendung wissensbasierter ...
Verwandte Suchanfragen zu Wolfgang Georg Rock
Barbara Gebetsroither Michael Martel |
Person "Rock" (5) Vorname "Georg" (36045) Name "Rock" (2130) |
sortiert nach Relevanz / Datum