Computer program verification; Error detection codes; Communications protocols; Programming languages; Computer logic;
机译:验证无限状态系统中越来越多的时态逻辑
机译:在基于DEVS的系统开发方法中验证离散事件模型的框架
机译:关于“离散事件系统的分散可诊断性的多项式时间验证”和“离散事件系统的分散式故障诊断”的评论:复杂性澄清
机译:关于复杂事件和情况的推理的表现逻辑框架
机译:具有时钟事件和非时钟事件的混合系统的建模和验证。
机译:COMP报告:用于验证成像的加速器集成锥束系统的CPQR技术质量控制指南
机译:状态事件系统的表达验证框架