Login / Signup
Jan Steffen Becker
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 10
Top Topics
Design Decisions
Model Checker
Constraint Language
Metamodel
Top Venues
PRDC
RE
FMICS
Software Engineering (Workshops)
</>
Publications
</>