Gregor GOESSLER

Research fellow / Chargé de recherche


Research Activity:

Formal methods for component-based design of embedded systems.


Recent Publications:

DBLP HAL (open access)