Gregor GOESSLER

Research fellow / Chargé de recherche


Research Activity:

Formal methods for component-based design of embedded systems.

For an up-to-date list of publications please check out DBLP and HAL (open access).


Publications 2003-2013: