语义扩展接口自动机相关硕士博士期刊学术论文 - 信丰网

语义扩展接口自动机相关论文

包含协议和语义的构件一致性验证方法

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件......

期刊

构件式设计方法语义语义扩展接口自动机一致性带语义约束的交互概观图 component-based design method semantics s

看过本文同时还关注