Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
Sort by:
and:

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
Sort by:
and: