...
机译:定期进行无交替mu-calculus的高效动态模型检查
INRIA Rhone-Alpes/VASY, 655, avenue de l'Europe, F-38330 Montbonnot Saint Martin, France;
boolean equation system; diagnostic; labeled transition system; model-checking; mu-calculus; specification; temporal logic; verification;
机译:无交替加权Mu演算:决策性和完整性
机译:CAESAR_SOLVE:通用库,用于快速求解无交变布尔方程组
机译:实时PCTL快速平均场近似模型检查,以实现自组织协调
机译:数据树的无交替模态微积分
机译:使用实时计算的低密度奇偶校验解码器的面积和节能VLSI架构。
机译:在潜艇巡逻期间是定期的身体活动实践是有效的应对策略吗?
机译:定期进行无交替mu-calculus的高效动态模型检查
机译:用于消息传递程序的调试器中的即时空间时间显示的高效跟踪