1
0
0
(1 - 18 von 18
)
dblp: Andreas Nonnengart
dblp.uni-trier.de
List of computer science publications by Andreas Nonnengart
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
Formal Methods for Real-Time Requirements Engineering ... Georg Rock Saarbr uc ken ... The fth part presents a methodology for (real-time) requirements engineering ...
Schulentwicklung auf der Basis von ediss.sub.hamburg
ediss.sub.uni-hamburg.de
Schulentwicklung auf der Basis von Schulleistungsstudien von Wilfried Georg Robra und Nina Rock Die von Herrn Robra und Frau Rock vorgelegte gemeinsame Dissertation „Schulentwicklung auf der Basis von Leistungsstudien“ stellt die erkenntnisleitende Fragestellung in den Mittelpunkt, wie Schulleistungsstudien hilfreich und förderlich im Rahmen positiver …
Search results for "Andreas Wolpers" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Andreas Wolpers" ... Georg Rock, Werner Stephan 0004, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
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; …
Search results for "VERIFY" – FacetedDBLP
dblp.l3s.de
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan 0004: A History-based Verification of Distributed Applications. VERIFY : 2007: DBLP BibTeX RDF: 1:
Program | VaMoS2015
vamos.sse.uni-hildesheim.de
Jürgen Ommen and Georg Rock. Visualization of Variability in Complex Development Structures. Discussant: Alexander Felfernig. Alexander Felfernig, Stefan ...
Christoph Weidenbach - DBLPdblp.org › Persons
dblp.org
Andreas Teucke, Christoph Weidenbach : SPASS-AR: A First-Order Theorem ... Andreas Nonnengart, Georg Rock, Christoph Weidenbach: ... University of Trier.
Modeling and Analysis of Information Systems » Publications
www.mais.informatik.tu-darmstadt.de
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt and Andreas Wolpers. VSE: Formal Methods Meet
Search results for "Georg Rock" – FacetedDBLP
dblp.l3s.de
Publications of "Georg Rock" ( http://dblp.L3S.de/Authors/Georg_Rock ). Author page on DBLP Author page in RDF Community of Georg Rock in ASPL
Verwandte Suchanfragen zu Andreas Georg Rock
Peter Sehnert Simone Ott Benedikt Terwiel |
Person "Rock" (5) Vorname "Georg" (36045) Name "Rock" (2130) |
sortiert nach Relevanz / Datum