Web sites; calculus of communicating systems; formal verification; groupware; Wikis; calculus of communicating system; collaborative Web site; formal verification; internal documentation; process algebra; Documentation; Electronic publishing; Encyclopedias; Internet; Model checking; Software; CCS Process Algebra; Refactoring; Temporal Logic; Wiki;
机译:正式分析和验证EAST-ADL模型的方法
机译:基于FPGA的步进电机控制的形式验证方法
机译:基于形式化方法的医疗器械软件分析验证
机译:基于形式化方法的Wiki分析和验证的新方法
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法论:形式语言理论在医疗决策中的运用
机译:探索基于FpGa的数字系统的形式验证方法。