Studienbeschreibung_en-2013

First Page		Document Content
Date: 2013-05-06 03:20:53 Academia Technology Education Forschungszentrum Jülich University of Girona Aachen RWTH Aachen University Simulation		Studienbeschreibung_en-2013 Add to Reading List Source URL: www.grs-sim.de Download Document from Source Website File Size: 87,74 KB Share Document on Facebook

	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat DocID: 1xVTs - View Document
	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic DocID: 1xUQe - View Document
	Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U DocID: 1xTYR - View Document
	PDF Document DocID: 1xR6I - View Document
	PDF Document DocID: 1xQtI - View Document