消息顺序图规范相关硕士博士期刊学术论文 - 搜论网

消息顺序图规范相关论文

消息顺序图规范的时间一致性检验工具

对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specificati......

会议

实时系统消息顺序图规范模型检验时间一致性

消息顺序图规范的时间一致性检验工具

对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specificati......

会议

消息顺序图规范时间一致性检验设计需求带时间约束实时系统描述交互活动直观工具方法地表场景部件

看过本文同时还关注