Author:
André Étienne,Fribourg Laurent,Sproston Jeremy
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference23 articles.
1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
2. Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: Proceedings of the twenty-fifth annual ACM symposium on theory of computing, STOC’93. ACM, New York, pp 592–601
3. André É. (2010) An inverse method for the synthesis of timing parameters in concurrent systems. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France
4. André É., Chatain Th, Encrenaz E, Fribourg L (2009) An inverse method for parametric timed automata. Int J Found Comput Sci 20(5):819–836
5. Lecture notes in computer science;É. André,2010
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献