...
机译:基于组件的定时系统的增量验证
Timed τ-simulation; Component-based timed systems; Incremental development; Preservation of properties; MITL; Metic interval temporal logic;
机译:基于组件的定时系统的增量验证
机译:基于TLM的平台,用于指定和验证基于组件的实时系统
机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
机译:基于组成的基于组件的结构和验证机器人系统
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:基于组件的管理系统构建的增量组合过程
机译:基于组件的定时系统的增量验证