Login / Signup
Milan Vujinovic
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Theorem Prover
Timed Automata
Dynamic Scheduling
Reachability Analysis
Top Venues
FORTE
FORMATS
</>
Publications
</>
Sergio Feo Arenis
,
Milan Vujinovic
,
Bernd Westphal
On Implementable Timed Automata.
FORTE
(2020)
Sergio Feo Arenis
,
Milan Vujinovic
,
Bernd Westphal
On Global Scheduling Independency in Networks of Timed Automata.
FORMATS
(2017)