Publisher
Springer Nature Switzerland
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Validation by Abstraction and Refinement;Rigorous State-Based Methods;2023
2. Early and Systematic Validation of Formal Models;Formal Methods and Software Engineering;2023
3. Validation-Driven Development;Formal Methods and Software Engineering;2023