(1 - 19 von 23
)
ENCRESS
www11.informatik.uni-erlangen.de
Thomas Santen TU Berlin "Spezifikation der Sicherungskomponenten von Lichtsignalanlagen in Z und Statecharts". Michael Balser, Georg Rock, Stephan Scheer, ... › gerenc13
SE Konferenzprogramm
www.se-konferenzen.de
Thomas Santen, Dirk Seifert (Technische Universität Berlin). Über die Spuren der testgetriebenen Entwicklung im Programmtext Matthias Müller (Universität ...
sortiert nach Relevanz / Datum