Author:
Küster-Filipe Juliana,Anderson Stuart
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference30 articles.
1. Alur, R.: Timed automata. In: 11th International Conference on Computer-Aided Verification, LNCS, vol. 1633, pp. 8–22. Springer (1999)
2. Alur, R., Henzinger, T.: Logics and models of real time: A survey. In: de Bakker, J., Huizing, K., de Roever, W.-P., Rozenberg, G. (eds.), Real time: Theory and practice, LNCS, vol. 600, pp. 74–106. Springer (1992)
3. Benerecetti, M., Spalazzi, L., Tacconi, S.: Verification of the SSL/TLS protocol using a model checkable logic of belief and time. In: Anderson, S., Bologna, S., Felici, M. (eds.), Proceedings of SAFECOMP'02, LNCS, vol. 2434, pp. 126–138. Springer (2002)
4. Bradfield, J., Küster-Filipe, J., Stevens, P.: Enriching OCL using observational mu-calculus. In: Kutsche, R.-D., Weber, H. (eds.), In: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002, LNCS, vol. 2306, pp. 203–217. Springer (2002)
5. Burns, A., Wellings, A.: Real-time systems: Specification, verification and analysis. In: Advanced Fixed Priority Schedulling, pp. 32–65. Prentice-Hall (1996)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献