时间属性序列图相关硕士博士期刊学术论文 - 皮皮文库

时间属性序列图相关论文

基于时间属性序列图的运行验证技术研究

随着信息技术的发展，计算机技术已经融入了现代社会各个领域，得到极其广泛的应用。然而在这样的背景下，计算机系统的异常可能会造成灾......

学位

时间属性序列图系统验证需求规约监控器仿真程序

基于时间属性序列图的监控器构造方法

运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一......

期刊

时间属性序列图时间自动机监控器运行时验证

看过本文同时还关注