
Prof. Dr.-Ing. habil. Armin Zimmermann
Fachgebietsleiter
E-Mail: Armin.Zimmermann@TU-Ilmenau.De
Telefon (Sekretariat): +49 3677 69-2767
Die Nutzung der referenzierten Dokumente ist nur für den internen Gebrauch an unserer Universität erlaubt.
Sollten Sie die Dokumente anderweitig benötigen, wenden Sie sich bitte an eventuelle Rechteinhaber.
A. Jesser, S. Lämmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel.
Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification.
14th Workshop on Synthesis And System Integration of Mixed Information Technologies - SASIMI'07, Oktober 2007, Sapporo, Japan, pp. 507 - 514.
[ pdf ], Poster [ pdf ]
Mario Schulz, Ivan Veličković, Saša Anđelković, Volker Zerbe, Goran S. Đorđević.
MLDESIGNER™ as Simulation Tool in Robotics.
TELSIKS 2007 Serbia, Nis, September 26-28, 2007.
[ pdf ]
H. Salzwedel.
Complex System Design Automation In The Presence Of Bounded And Statistical Uncertainties.
52. Internationales Wissenschaftliches Kolloquium - IWK'2007, 10.-13. September 2007, Ilmenau, ISBN 978-3-939473-17-6.
[ pdf ]
B. Anđelković, V. Litovski, V. Zerbe.
Mission Level Modeling and Simulation for Mixed-signal System-on-a-chip Design.
accepted for publication in Journal of Circuits, Systems and Computers, Vol. 18, No. 2, April 2007, ISSN 0218-1266.
T. Baumann, M. Hauguth, H. Salzwedel.
Overcoming the Gap between Design at Electronic System Level (ESL) and Implementation for Networked Electronics.
2007 Western MultiConference on Modeling & Simulation, WMC '07, 14.-18. January 2007, San Diego, California.
[ pdf ]