活性顺序图相关硕士博士期刊学术论文 - 皮皮文库

活性顺序图相关论文

活性顺序图规约到时间博弈自动机模型的转换方法研究与工具实现

活性顺序图(Live Sequence Chart,LSC)是一种基于场景的形式规约语言，可以直观且精确地刻画系统构件间的交互行为，常用于反应式系统......

学位

时间博弈自动机等价转换活性顺序图一致性检测道岔自动控制

一种基于活性顺序图的运行时验证研究

随着计算机技术的发展,软件系统的可靠性问题越来越受到人们的重视。尤其对于安全关键系统,如何提高此类软件系统的可靠性已成为一......

学位

活性顺序图线性时序逻辑重写逻辑运行时验证

看过本文同时还关注