Author:
Sankur Ocan,Bouyer Patricia,Markey Nicolas
Funder
ANR
ERC
European project Cassting
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference39 articles.
1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. Dynamical properties of timed automata;Puri;Discrete Event Dyn. Syst.,2000
3. Robust safety of timed automata;De Wulf;Form. Methods Syst. Des.,2008
4. A comparison of control problems for timed and hybrid systems;Cassez,2002
5. Model-based implementation of real-time applications;Abdellatif,2010
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献