Login / Signup
Alexander Weigl
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 31
Top Topics
Reactive Systems
Programmable Logic Controller
Empirical Studies
Formal Specification
Top Venues
CoRR
INDIN
FormaliSE@ICSE
ISoLA (2)
</>
Publications
</>