...
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
RIIR Laboratory Computer Science Department Exact Sciences and Applied Faculty University of Oranl Ahmed Ben Bella;
RIIR Laboratory Computer Science Department Exact Sciences and Applied Faculty University of Oranl Ahmed Ben Bella;
Computer Science Department Exact Sciences and Applied Faculty University of Oranl Ahmed Ben Bella;
CERIST Research Center;
Formal method; Design of multimedia presentations; Quality of presentation; SMIL 3.0; Verification; Temporal conflict; Spatial conflict; Hoare logic; Disjunctive constraints;
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
机译:SMIL文档一致性控制的正式方法
机译:基因网络混合模型中基于改进Hoare逻辑的约束识别
机译:迈向验证SMIL文档演示文稿中时间一致性的正式方法
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一种人机交互系统的形式化验证方法
机译:自然的Hoare逻辑:从自然语言规格的逻辑形式正式验证计划