Login / Signup
Lukas Krejci
ORCID
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 2
Top Topics
Deadlock Detection
Distributed Systems
Timed Automata
Fault Tolerant
Top Venues
IDAACS
DATESO
</>
Publications
</>
Lukas Krejci
,
Jiri Novák
Model-based testing of automotive distributed systems with automated prioritization.
IDAACS
(2017)
Lukas Krejci
,
Jiri Novák
Framework and Automated Prioritization Procedure for Model-Based Testing of Automotive Distributed Systems.
DATESO
(2017)
Lukas Krejci
Programming autonomous behavior of AMM network data concentrator by timed automata.
IDAACS
(2015)