Clusterforschung FEST : Abschlussbericht ; Vorhabenbezeichnung: funktionale Verifikation von Systemen (FEST)

von Pacholik, Alexander
Veröffentlicht in Schöber, Volker Funktionale Verifikation von Systemen (2008)

Ein eingebettetes Multiprozessorsystem für die Steuerung von Nanomess- und Positioniermaschinen

von Däne, Bernd
Veröffentlicht in Mechanical engineering from macro to nano (2005)

Tool support for formal system verification

von Müller, Marcus
Veröffentlicht in Computer science meets automation ; Vol. 2 (2007)

Ein eingebettetes Multiprozessorsystem für die Steuerung von Nanomess- und Positioniermaschinen

von Däne, Bernd
Veröffentlicht in Technische Universität Ilmenau. Fakultät für Maschinenbau Tagungsunterlagen (2005)