软件检验相关硕士博士期刊学术论文 - 搜论网

软件检验相关论文

电信业务特性集成的时序着色Petri网模型

提出了一个电信系统业务特性集成的建模和检验方法.根据这个方法,现有的系统和新的业务特性分别表述为一个着色Petri网,业务特性的......

期刊

着色PETRI网特性集成不变量软件检验电信系统时序逻辑业务检测 colored Petri net feature integration inva

计算机控制系统应用软件在线实时监视

计算机控制系统应用软件的在线实时监视程序ＤＤ－ＣＭＮＴ，是在方框图式控制系统应用软件开发环境下，对控制系统应用软件进行在线实时检验的一个高......

期刊

计算机控制软件开发环境应用软件软件检验实时监视

看过本文同时还关注