Publisher
Springer International Publishing
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An automotive case study;International Journal on Software Tools for Technology Transfer;2024-05-16
2. Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems;IEEE Transactions on Software Engineering;2024-04
3. SMT solving for the validation of B and Event-B models;International Journal on Software Tools for Technology Transfer;2022-11-21
4. Application of Validation Obligations to Security Concerns;Communications in Computer and Information Science;2022
5. Multidisciplinary Requirements Engineering;Requirements Engineering: Laying a Firm Foundation;2022