Förstner, Roger; Ferrer-Gil, Eloi
[Universität der Bundeswehr München]:
Verfahren zur Thermomechanischen Stabilisierung einer Vorrichtung, Steuerungseinheit, Thermomechanisches Steuerungssystem und Vorrichtung
= Method for thermomechanically stabilizing an apparatus, control unit, thermomechanical control system, and apparatus
; (EP3502711). -
26.06.2019

Patent

Förstner, Roger; Ferrer-Gil, Eloi
[Universität der Bundeswehr München]:
Method for thermomechanically stabilizing an apparatus, control unit, thermomechanical control system, and apparatus
= Verfahren zur thermomechanischen Stabilisierung einer Vorrichtung, Steuerungseinheit, thermomechanisches Steuerungssystem und Vorrichtung
; (EP000003502711A1). -
26.06.2019

Patent

Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George
[Ecole Polytechnique Federale de Lausanne]:
Advantageous State Merging During Symbolic Analysis
; (US9141354B2). -
24.10.2013

Patent

Godefroid, Patrice; Kinder, Johannes
[Microsoft Corporation]:
Memory Safety of Floating-Point Computations
; (US8782625B2). -
22.12.2011

Patent

Christodorescu, Mihai; Kinder, Johannes; Jha, Somesh; Katzenbeisser, Stefan; Veith, Helmut
[Wisconsin Alumni Research Foundation]:
System for Malware Normalization and Detection
14.01.2010

Patentanmeldung