G2Promela 相关硕士博士期刊学术论文 - 搜论网

G2Promela相关论文

基于SPIN的G语言系统模型的验证

对于大型系统,为确保其运行的可靠性、稳定性及高效性,需要从两个方面对系统进行验证：业务模型和系统模型。目前,对业务模型的验证......

期刊

系统模型 G语言 SPIN G2Promela SPOG System model G languagc SPIN G2Promcla SPOG

G语言系统模型转换与验证的研究

G语言是一种基于数据流的程序化框图语言,内部有多种完全封装的算法模块,其应用领域非常广。目前,G语言未列入ANSI标准语言,且与NI......

学位

G语言编译器 LALR(1) G2ANSI-C G2Promela

看过本文同时还关注