Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Gregor Gössler
Gregor Gössler
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Modélisation compositionnelle des systèmes temps-réels : théorie et pratique
Directed Thesis:
Gestion des fautes dans les réseaux multi-tenants et programmables
Un cadre général de causalité basé sur les traces pour des systèmes à composants
Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems