机译:关于SysML块的形式化解释和行为一致性检查
Univ Oxford, Dept Comp Sci, Wolfson Bldg,Parks Rd, Oxford OX1 3QD, England;
Univ Oxford, Dept Comp Sci, Wolfson Bldg,Parks Rd, Oxford OX1 3QD, England;
SysML; CSP; State machines; Activities; Blocks;
机译:将SysML状态机图的转换规则转换为CSP#,以进行正式模型检查
机译:基于定理证明检查对象-Z正式规范的一致性
机译:正式技术,用于编码Web服务编排的一致性检查
机译:使用安全关键案例研究SysML块的形式化解释
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:心电图的解释。正式教学可以减少口译中的严重错误。
机译:使用CSP进行SYSML块的正式模型,以确保系统工程
机译:正式指定程序的自动运行时一致性检查和调试。