Login / Signup
Timm Liebrenz
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 11
Top Topics
Loose Coupling
Formal Verification
Hybrid Systems
Model Driven
Top Venues
FM
ICFEM
Sci. Comput. Program.
ISoLA (3)
</>
Publications
</>