Author:
Garanina Natalia,Anureev Igor,Sidorova Elena,Koznov Dmitry,Zyubin Vladimir,Gorlatch Sergei
Publisher
Springer International Publishing
Reference32 articles.
1. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620–638 (2015)
2. Clarke, E.M., Henzinger, Th.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-319-10575-8
3. Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE-99), pp. 411–420. ACM, New York (1999)
4. Garanina, N., Sidorova, E.: Context-dependent lexical and syntactic disambiguation in ontology population. In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (CS&P-16), pp. 101–112. Humboldt-Universitat zu Berlin, Berlin (2016)
5. Lecture Notes in Computer Science;N Garanina,2015
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献