Author:
Walter Benedikt,Hammes Jakob,Piechotta Marco,Rudolph Stephan
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Automaton-Based Data Consistency Detection;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
3. Graph transformation in engineering design: an overview of the last decade;Artificial Intelligence for Engineering Design, Analysis and Manufacturing;2023
4. A compositional proof framework for FRETish requirements;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
5. Specification of Passive Test Cases Using an Improved T-EARS Language;Software Quality: The Next Big Thing in Software Engineering and Quality;2022