为了提供给您更好的使用体验,请启用此功能。';window.onload=function(){1==navigator.cookieEnabled||(document.body.insertAdjacentHTML("beforeend",ck_html),window.onscroll=function(i){console.log(i),document.body.setAttribute("style","position:fixed")})}
1. Consistency Naming Between Requirements Analysis and Specifications NSTL国家科技图书文献中心
Fumiko Nagoya - 《Software Fault Prevention,Verification,and Validation》 - International Symposium on Software Fault Prevention,Verification,and Validation - 2025, - 131~140 - 共10页
2. VeriCode: Correct Translation of Abstract Specifications to C Code NSTL国家科技图书文献中心
Gerhard Schellhorn | Stefan Bodenmuller... - 《Integrated Formal Methods》 - International Conference on Integrated Formal Methods - 2025, - 53~74 - 共22页
3. Towards an efficient implementation of a tableau method for reactive safety specifications NSTL国家科技图书文献中心
Alonso, Ander | Hermo, Montserrat... - 《The journal of logical and algebraic methods in programming》 - 2025,142(Jan.) - 1.1~1.17 - 共17页
4. Effect of noodle specifications on the quality characteristics of fermented hollow noodles NSTL国家科技图书文献中心
Yang, Hanrui | Shang, Jiaying... - 《Journal of Cereal Science》 - 2025,121 - 共10页
5. Model-based safety analysis of requirement specifications NSTL国家科技图书文献中心
Konstantinos Mokos | Panagiotis Katsaros... - 《The Journal of Systems and Software》 - 2025,219(Jan.) - 112231.1~112231.22 - 共22页
Eric Pascal Bescher - 《Proceedings of the 7th International Conference on Concrete Repair, Rehabilitation and Retrofitting》 - International Conference on Concrete Repair, Rehabilitation and Retrofitting - 2025, - 310~319 - 共10页
7. A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications NSTL国家科技图书文献中心
Yu Du | Shaoying Liu - 《Software Fault Prevention,Verification,and Validation》 - International Symposium on Software Fault Prevention,Verification,and Validation - 2025, - 1~14 - 共14页
8. Regular Clocks for Temporal Task Specifications in Reinforcement Learning NSTL国家科技图书文献中心
Giuseppe De Giacomo | Marco Favorito... - 《AIxIA 2024 - Advances in Artificial Intelligence》 - International Conference of the Italian Association for Artificial Intelligence - 2025, - 147~160 - 共14页
9. Cathodic Protection Specifications from Specific to General and Back NSTL国家科技图书文献中心
Anthony W.M.van den ... | Rob B.Polder - 《Proceedings of the 7th International Conference on Concrete Repair, Rehabilitation and Retrofitting》 - International Conference on Concrete Repair, Rehabilitation and Retrofitting - 2025, - 187~194 - 共8页
10. Energy requirement analysis on carbon capture plants satisfying impurity specifications NSTL国家科技图书文献中心
Kenneth R. Simonsen | Dennis S. Hansen... - 《Journal of cleaner production》 - 2025,499(Mar.25) - 145129.1~145129.16 - 共16页
服务站
成员单位
友情链接