Author:
Ravn A.P.,Rischel H.,Hansen K.M.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Can Large Language Model Aid in Generating Properties for UPPAAL Timed Automata? A Case Study;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
2. Identification of Architecturally Significant Non-Functional Requirement;2021 International Conference on Information and Communication Technology for Development for Africa (ICT4DA);2021-11-22
3. Software requirements testing approaches: a systematic literature review;Requirements Engineering;2019-08-16
4. A Time-Critical Mobile Application based on ECG Medical Monitoring;Proceedings of the 8th Balkan Conference in Informatics;2017-09-20
5. Discounted Duration Calculus;FM 2016: Formal Methods;2016