Login / Signup
Kevin H. J. Jilissen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Model Checking
Industrial Environment
Conceptual Modelling
Formal Analysis
Top Venues
SAC
MARS@ETAPS
A Journey from Process Algebra via Timed Automata to Model Learning
</>
Publications
</>