Author:
Li Shuhao,Balaguer Sandie,David Alexandre,Larsen Kim G.,Nielsen Brian,Pusinskas Saulius
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference42 articles.
1. Aceto L, Burgueño A, Larsen KG (1998) Model checking via reachability testing for timed automata. In: Proc 4th international conference on tools and algorithms for construction and analysis of systems (TACAS’98), pp 263–280
2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
3. Alur R, Henzinger TA (1997) Real-time system = discrete system + clock variables. Softw Tools Technol Transf (STTT) 1(1–2):86–109
4. Alur R, Holzmann GJ, Peled D (1996) An analyzer for message sequence charts. Softw, Concepts Tools 17(2):70–77
5. Balaguer S (2009) Specification of properties using live sequence charts—theory and implementation. Master’s thesis, École Centrale de Nantes, Nantes, France, September 2009
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献