AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Model Checking of Message Sequence Charts

CONCUR, pp.114-129, (1999)

被引用368|浏览9
EI
下载 PDF 全文
引用

摘要

Scenario-based specifications such as message sequence charts (MSC) offer an intuitive and visual way of describing design requirements. Such specifications focus on message exchanges among communicating entities in distributed software systems. Structured specifications such as MSC-graphs and Hierarchical MSC-graphs (HMSC) allow convenie...更多

代码

数据

您的评分 :
0

 

标签
评论
小科