1
0
0
(1 - 30 von 31
)
Information and Software Technology | AMOST AMOST |...
www.sciencedirect.com
Information and Software Technology Volume 53, Issue 11, Pages (November 2011). AMOST AMOST Edited by Robert Eschbach and ...
Search results for "Robert Eschbach" – FacetedDBLP
dblp.l3s.uni-hannover.de
Frank Elberzhager, Robert Eschbach, Jürgen Münch: The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing. CoRR : 2013:
Networked Systems Group (Univ. of KL) -- SDL Formal Semantics Project
vs.cs.uni-kl.de
Robert Eschbach, University of Kaiserslautern (dynamic semantics) Uwe Glässer, Microsoft Research (ASM expert, dynamic semantics) Reinhard Gotzhein, University of Kaiserslautern (ITU SG 10 Associate Rapporteur, dynamic semantics) Martin von Löwis of Menar, Humboldt University Berlin (SDL …
Publications
www-madlener.informatik.uni-kl.de
Robert Eschbach. Derivation of a termination detection algorithm using abstract state machines. In Roberto Moreno-Diaz and Alexis Quesada-Arencibia, editors, Extended Abstracts of Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria, Canary Islands, Spain, Feb , pages , Robert Eschbach.
Robert Eschbach - DBLPdblp.org › Persons
dblp.org
· List of computer science publications by Robert Eschbach.
Dept. of Computer Sci.: Completed PhDs
www.informatik.uni-kl.de
Completed PhDs. Over 200 PhDs have been successfully completed in the Department of Computer Science since ... Robert Eschbach: Formal Specification and Verification: ...
dblp: Fabian Zimmermann
dblp.uni-trier.de
List of computer science publications by Fabian Zimmermann
ART Modularisierung von Induktionsbeweisen über...
kluedo.ub.uni-kl.de
Robert Eschbach. Das System ART (ASF RRL Translation) stellt im wesentlichen eine Umgebung dar,in welcher die Modularisierbarkeit von Beweisen (Induktionsbeweisen über Gleichungs-spezifikationen) untersucht werden kann. Es wurde die bereits bestehende Spezifikati-onsprache ASF (siehe [BeHeKl89]), in welcher modularisierte Spezifikationen ...
RAVON - TU Kaiserslautern
agrosy.informatik.uni-kl.de
Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos und Karsten Berns KI 2010, Vol , S (2010) Control System Design Schemata and their Application in Off-road Robotics. Bernd-Helge Schäfer (2010) Development Process for Complex Behavior-Based Robot Control Systems. Martin Proetzsch RRLab Dissertations, (2010)
PLATIN A Planning System for Inductive Theorem KLUEDO
kluedo.ub.uni-kl.de
von R Eschbach · — Robert Eschbach, Inger Sonntag. This paper provides a description of PLATIN. With PLATIN we present an imple-mented system for planning inductive theorem ... › docId
From zimmer at informatik.uni-halle.de Fri Jan 4 08:42:
lists.uni-paderborn.de
... on LinkedIn : http://www.linkedin.com/groups/ICMT Sweden * Robert Eschbach, ITK Engineering AG, Germany * Manal A.
dblp: BibTeX record conf/sam/PrinzEG00
dblp.uni-trier.de
Bibliographic details on BibTeX record conf/sam/PrinzEG00
Vorlesung Grundlagen der Programmierung SS'05
www-madlener.informatik.uni-kl.de
Betreuer: Robert Eschbach; Eintrag im Vorlesungsverzeichnis: 4 Std. Vorlesung Di Uhr, Fr Uhr, Std. Übung n.V., s. Aushang
dblp: Reinhard Gotzhein
dblp.uni-trier.de
List of computer science publications by Reinhard Gotzhein
Homepage of Robert Eschbach
www-madlener.informatik.uni-kl.de
Robert Eschbach (until 31 July, 2005) Robert Eschbach ... Private Homepage: http://www.robert-eschbach.de. RG Foundations of Informatics ...
Vorlesung Entwurf und Analyse von Algorithmen WS
www-madlener.informatik.uni-kl.de
... Semester: WS ; Dozent: Prof. Dr. K. Madlener; Betreuer: Robert Eschbach, Christoph Kögl
Publications of C1
www.sfb501.uni-kl.de
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, and Andreas Prinz ... Robert Eschbach ... Martin Kronenburg, Thomas Deiß, and Robert Eschbach ...
Abstract: A Framework for the Analysis of Formal Description...
agent.informatik.uni-kl.de
Robert Eschbach, Thomas Deiß, Martin Kronenburg, Universität Kaiserslautern ... There are a large variety of quite different formal description techniques (FDTs) ...
SFB 501, Teilprojekt C1: Formale Beschreibungstechniken
www.sfb501.uni-kl.de
Die Verwendung formaler Beschreibungstechniken kann die Entwicklung großer ... Robert Eschbach. Martin Kronenburg. Veröffentlichungen. Veröffentlichungen des SFB
sortiert nach Relevanz / Datum