An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems
mag（2009）
关键词
security,information systems,middleware,computer networks,software engineering,verification,architecture
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要