 | Monter d'un niveau |
Zrelli, R., Amaral Misson, H., Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2026). Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. Journal of Systems and Software, 240, 112941 (15 pages). Lien externe
Zrelli, R., Amaral Misson, H., Kamkuimo, S., Ben Attia, M., Shabah, A., Gohring de Magalhaes, F., & Nicolescu, G. (2026). Integrating formal methods and automated tools for DO-178C compliance in UAV software. Information and Software Technology, 108068. Lien externe
