Model checking <u>lots</u> of systems 论文

2010引用 363
DOI
Advanced Software Engineering MethodologiesModel-Driven Software Engineering TechniquesService-Oriented Architecture and Web Services
企业软件Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesService-Oriented Architecture and Web Services
相关技术:Model-Driven Software Engineering TechniquesService-Oriented Architecture and Web ServicesAdvanced Software Engineering Methodologies
关系图谱

Model checking <u>lots</u> of systems · 相关文章

暂无数据