BSS模型相关硕士博士期刊学术论文 - 信丰网

BSS模型相关论文

算术程序的正确性验证及其实现

该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的ＢＳＳ计算模型来模拟，然后将其转化......

会议

程序正确性验证算术程序 BSS模型 Groebner基

浅谈如何构建可灵活扩展的BSS系统模型

对于新一代BSS系统模型而言,模型是否具备可扩展性和灵活性,能否顺利承接现网BSS数据,又能满足未来新兴业务的数据承载需求,是BSS......

期刊

BSS模型灵活性扩展性

看过本文同时还关注