Interrupt Timed Automata with Auxiliary Clocks and Parameters*
From MaRDI portal
Publication:2968523
DOI10.3233/FI-2016-1313zbMath1357.68100arXiv1409.2408OpenAlexW59289768MaRDI QIDQ2968523
Didier Lime, Serge Haddad, Béatrice Bérard, Aleksandra Ž. Jovanović
Publication date: 16 March 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1409.2408
Related Items
Revisiting reachability in polynomial interrupt timed automata, Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*, Context-free timed formalisms: robust automata and linear temporal logics