Author:
Robinson-Mallett Christopher,Liggesmeyer Peter,Mücke Tilo,Goltz Ursula
Subject
Computer Science Applications,Information Systems,Software
Reference20 articles.
1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, W. Yi, UPPAAL , a tool suite for automatic verification of real-time systems. in: Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.
3. G.V. Bochmann, A. Petrenko, Protocol testing: review of methods and relevance for software testing. International Symposium on Software Testing and Analysis (ISSTA’94), ACM Press, 1994, pp. 109–124.
4. Testing software design modeled by finite-state machines;Chow;IEEE Trans. Soft. Eng.,1978
5. E.M. Clarke, E.A. Emerson, Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Workshop on Logic of Programs. Yorktown Heights, NY. LNCS 131, Springer Press, 1981.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献