Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;Z Ahmed,2017
2. Al-Thanyyan, S.S., Azmi, A.M.: Automated text simplification: a survey. ACM Comput. Surv. (CSUR) 54(2), 1–36 (2021)
3. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. (TOSEM) 20(4), 1–64 (2011)
4. Berry, D.M.: Empirical evaluation of tools for hairy requirements engineering tasks. Empirical Softw. Eng. 26(6) (2021). Article number: 111. https://doi.org/10.1007/s10664-021-09986-0
5. Brunello, A., Montanari, A., Reynolds, M.: Synthesis of LTL formulas from natural language texts: state of the art and research directions. In: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) (2019)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献