On implementable timed automata
S Feo-Arenis, M Vujinović, B Westphal - International Conference on …, 2020 - Springer
Generating code from networks of timed automata is a well-researched topic with many
proposed approaches, which have in common that they not only generate code for the …
proposed approaches, which have in common that they not only generate code for the …
On global scheduling independency in networks of timed automata
S Feo-Arenis, M Vujinović, B Westphal - Formal Modeling and Analysis of …, 2017 - Springer
Networks of timed automata are a widely used formalism to model timed systems. Models
are often concise and convenient since timed automata abstract from many details of actual …
are often concise and convenient since timed automata abstract from many details of actual …