formal methods; LOTOS; RT-LOTOS; interactive multimedia documents; SMIL;
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
机译:SMIL文档一致性控制的正式方法
机译:分析和验证SMIL文件
机译:使用正式方法来验证SMIL文档的时间语义
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:一种人机交互系统的形式化验证方法
机译:关于SMIL文档的语义验证
机译:用时态逻辑语言XYZ / E表达Csp和Cp或aDa任务的形式语义