机译:基于间隔的规范语言的验证系统
Department of Computer Science, National University of Singapore, Computing 1, 13 Computing Drive, Singapore 117414, Republic of Singapore;
rnNational University of Singapore;
rnNational University of Singapore;
rnUniversity of Oxford;
formal specification languages; real-time systems; theorem proving;
机译:基于时间间隔的时间功能依赖性:规范和验证
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:验证语言中针对该语言无法表达的时间特性的规范
机译:规范语言和验证系统中的设计选择
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:基于间隔的规范语言的验证系统