Login / Signup
Nikolaj I. Schmidt
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Face Recognition
Software Testing
Multiscale
Timed Automata
Top Venues
ICST Workshops
</>
Publications
</>
Emil J. Njor
,
Florian Lorber
,
Nikolaj I. Schmidt
,
Sebastian R. Petersen
Conformance Testing in UPPAAL: A diabolic approach.
ICST Workshops
(2020)