Author:
Khan Aamir M.,Mallet Frédéric,Rashid Muhammad
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference66 articles.
1. Abrial, J.R., Börger, E., Langmaack, H.: The stream boiler case study: competition of formal program specification and development methods. In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the Book Grow out of a Dagstuhl Seminar, June 1995)., pp. 1–12. Springer, London (1996).
http://dl.acm.org/citation.cfm?id=647370.723887
2. Aceto, L., Burgueño, A., Larsen, K.: Model checking via reachability testing for timed automata. In: Steffen, B. (ed.) Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol. 1384, pp. 263–280. Springer, Berlin (1998). doi:
10.1007/BFb0054177
3. Al-Lail, M., Sun, W., France, R.B.: Analyzing behavioral aspects of UML design class models against temporal properties. In: Quality Software (QSIC), 2014 14th International Conference on, pp. 196–201 (2014). doi:
10.1109/QSIC.2014.56
4. Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual timed event scenarios. In: Proceedings of the 26th International Conference on Software Engineering, ICSE ’04, pp. 168–177. IEEE Computer Society, Washington, DC, USA (2004).
http://dl.acm.org/citation.cfm?id=998675.999423
5. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983). doi:
10.1145/182.358434
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献