多值模型相关论文
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证.提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为......
汽车与摩托车碰撞事故是道路交通事故的一种重要形式。由于摩托车骑乘人员身体直接暴露在外,没有车身保护,一旦发生事故,人员死伤......
抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为......
