AdaCore Blog

Johannes Kliemann

Johannes Kliemann

Johannes Kliemann is security architect at Componolit. He specialized in industrial automation and systems architecture and is interested in formal verification, operating systems development and embedded devices.

1 entries written by Johannes Kliemann