Category:Heiko KALTE

Heiko KALTE

Executive Summary

Heiko KALTE is an inventor who has filed 1 patents. Their primary areas of innovation include {using formal methods, e.g. model checking, abstract interpretation (theorem proving (1 patents), and they have worked with companies such as dSPACE GmbH (1 patents). Their most frequent collaborators include (1 collaborations).

Patent Filing Activity

Technology Areas

List of Technology Areas

• G06F11/3608 ({using formal methods, e.g. model checking, abstract interpretation (theorem proving): 1 patents

Companies

List of Companies

• dSPACE GmbH: 1 patents

Collaborators

• Dominik LUBELEY (1 collaborations)