相容性验证相关硕士博士期刊学术论文 - 搜论网

相容性验证相关论文

构件行为协议实时性扩展及相容性验证

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及......

期刊

构件行为协议时间行为协议形式化描述相容性验证 Component Behavior protocol Timed behavior protocol

看过本文同时还关注