Author:
Elgammal Amal,Turetken Oktay
Publisher
Springer International Publishing
Reference41 articles.
1. Compas project, deliverable 2.1, state-of-the-art in the field of compliance languages (2008)
2. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993). https://doi.org/10.1006/inco.1993.1025
3. Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Singerman, E., Tiemeyer, A., Vardi, M.Y., Zbar, Y.: The forspec temporal logic: a new temporal property-specification language. In: Katoen, J., Stevens, P. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, April 8–12, 2002, Proceedings. Lecture Notes in Computer Science, vol. 2280, pp. 296–211. Springer, New York (2002). https://doi.org/10.1007/3-540-46002-0_21
4. COSO: Internal control – integrated framework. the committee of sponsoring organizations of the treadway commission (1994)
5. Dettmer, H.: Goldratt’s theory of constraints: A systems approach to continuous improvement (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献