Gregor Nitsche,
Georg Gläser
Eckhard Hennig
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. in Methoden und Beschreibungssprachen zur Modellierung in Verifikation von Schaltungen und Systemen - MBMV 2012 (Hrsg: Jens Brandt und Klaus Schneider), Schriftenreihe Forschungsergebnisse zur Informatik, Band 68, Verlag Dr. Kovac, Hamburg, 2012, S. 121-132
“In this partnership, not only are we able to rely on consistently high quality, dependability on delivery dates and flexible responses when customised changes are needed, but we benefit all round because IMMS proactively contributes ideas and suggestions for improvement. We can thus recommend the Institute unreservedly as a provider of testing services to industry.”
“We were particularly pleased that we, as a start-up from Thüringen with IMMS as its research institute, were able to create an innovative high-tech solution with the Thuringian semiconductor manufacturer X-FAB. We appreciate the high level of expertise and flexibility as well as the customer-oriented and target-oriented way of working of the colleagues from IMMS.”
Hall 2, Research and Technology, Booth A64: IMMS presents an inverse pendulum as a demonstrator for real-time machine control with 5G radio communication.
