Verfahren zur Bestimmung einer Standzeit eines Kraftfahrzeugs
Control device for detecting interruption of current-carrying line
Device and method for providing a breath sample with a breath-alcohol interlock device
DEVICE AND PROCESS FOR GIVING A BREATH SAMPLE WITH A BREATH ALCOHOL INTERLOCK DEVICE
Synthesizing optimally resilient controllers
Hubladebühne und Verfahren zum Betrieb einer Hubladebühne
Verfahren zur Reduktion von Belastungen in einem Lenksystem
Verfahren zur Reduktion von Belastungen in einem Lenksystem
Robust, expressive, and quantitative linear temporal logics: Pick any two for free