1541. Formale Verifikation mit Gateprop   Ch. Lang, Ilmenau, F & E Report, Juni 2002  

  1542. An analog approach to compensate for OpAmp offset and finite gain in SC circuitry: A case study of a cyclic RSD ADC   R. Izak, R. Kindt International Conference on Advanced A/D and D/A ConversionTechniques and Their Applications (ADDA'02), Prague, CZ, Juni 2002  

  1543. Markt-Trends   W. Sinn, Ilmenau, F & E Report, Juni 2002  

  1544. Echtzeitsteuerung mit Real Time Linux   J. Pietrusky, Ch. Schröder F. Vogler Linuxtag, 6.-9.6.2002, Karlsruhe  

  1545. Abschlussbericht zum Verbundprojekt "Präzisionsantriebe unter erschwerten Einsatzbedingungen"   O. Mollenhauer, F. Spiller F. Reuter E. Wehrsdorfer I. Ahmed M. Scherge W. Hild Abschlußbericht zum TMWFK - Verbundprojekt, Ilmenau, Förderkennzeichen B609-9704, Juni 2002  

  1546. Forschungs- und Entwicklungskompetenzen des IMMS gGmbH   G. Scarbata, Erfurt, MTT 2002, Mai 2002  

  1547. Magnetlagertechnik   Ch. Schäffel, MTT 2002, Erfurt, Mai 2002  

  1548. UML-based statistical test case generation   M. Riebisch, I. Philippow M. Götze Net.ObjectDays 2002, Net.ObjectDays c/o tranSIT GmbH, 2002  

  1549. Anwendung von SystemC im Entwurf von Bildverarbeitungsapplikationen   F. Czerner, J. Zellmann Wissenschaftliches Kolloquium des Instituts für Informatik der FSU Jena, April 2002, Jena  

  1550. Strategische Weiterentwicklung des Instituts für Mikroelektronik- und Mechatronik-Systeme gGmbH   G. Scarbata, F & E Report, Ilmenau, April 2002