IMMS - Search

Reference

981. Fortschritte bei der Verifikation von hardwarenaher Software

R. Syba, M. Hahn eda Newsletter des edacentrums, Projekt Herkules, November 2009

Press release

982. Forschungsprojekt GreenSense am IMMS gestartet

Reference

983. Forschungs- und Entwicklungsprogramm des IMMS

G. Scarbata, IMMS F&E Report 1/98, Ilmenau, F&E Report

Reference

984. Forschungs- und Entwicklungskompetenzen des IMMS gGmbH

G. Scarbata, Erfurt, MTT 2002, Mai 2002

Press release

985. Forschung und Entwicklung des IMMS für die Bioanalytik auf der MEDICA 2019

IMMS bietet Partnern für ihre Life-Science-Anwendungen F&E zu elektronischen Komponenten und Systemen

Reference

986. Forschergruppe Green-ISAS – Grundlagentechnologien für autonome Industrie-4.0-konforme Sensor-Aktor-Systeme

Wolfram Kattanek, Tagung industrienaher Forschergruppen, 23. September 2019, Friedrich-Schiller-Universität Jena, Jena

Reference

987. Forschergruppe Green-ISAS - Grundlagentechnologien für autonome Industrie-4.0-konforme Sensor/Aktor-Systeme

Wolfram Kattanek, Jahrestagung der Thüringer industrienahen Forschergruppen 2017, 27. September 2017, TU Ilmenau

Press release

988. Forschergruppe der Bauhaus-Universität Weimar leistet wichtigen Beitrag zur automatisierten Bauwerksüberwachung

IMMS erarbeitete drahtlose Sensornetzwerke zur Langzeitüberwachung von Bauwerken.

Press release

989. Forschergruppe „IntelligEnt“ gestartet: Künstliche Intelligenz und Machine Learning für den Entwurf von Mikroelektronik

IMMS und TU Ilmenau forschen an neuartigen Assistenzsystemen für Chip-Designer

Reference

990. Formale Verifikation mit Gateprop

Ch. Lang, Ilmenau, F & E Report, Juni 2002