Login / Signup
Jeff Kramer
ORCID
Publication Activity (10 Years)
Years Active: 1978-2023
Publications (10 Years): 12
Top Topics
Adaptive Systems
Inductive Learning
Model Checking
Discrete Event
Top Venues
ICSE
IEEE Trans. Software Eng.
CoRR
SEAMS@ICSE
</>
Publications
</>