Author:
Poppe Olga,Giessl Sandro,Rundensteiner Elke A.,Bry François
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;R. Alur,1990
2. Arasu, A., et al.: The CQL continuous query language: semantic foundations and query execution. The VLDB Journal 15(2), 121–142 (2006)
3. Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, 2nd edn. Addison-Wesley Professional (2005)
4. Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: Proc. Int. Design Automation Conf., DAC 1993, pp. 86–91. ACM (1993)
5. David, A.: Hierarchical Modeling and Analysis of Timed Systems. PhD thesis, Uppsala University (November 2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献