Viktorio Semir el Hakim

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Automated Verification

Bounded Model Checking

Top Venues

Publications

Viktorio Semir el Hakim, Marco Jan Gerrit Bekooij
Stability Verification of Self-Timed Control Systems Using Model-Checking. DSD (2018)