Interface Theories for Component-Based Design 论文

2001Lecture notes in computer science引用 382

Formal Methods in VerificationModel-Driven Software Engineering TechniquesLogic, programming, and type systems

企业软件 Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Model-Driven Software Engineering Techniques

Interface Theories for Component-Based Design · 相关文章

暂无数据