Programming languages; Operating systems(Computers); Real time; Specifications; Verification; Distributed data processing;
机译:验证语言中针对该语言无法表达的时间特性的规范
机译:基于间隔的规范语言的验证系统
机译:各种技术,用于验证片上系统设计的语言
机译:使用时序约束Petri网验证分布式实时系统的时序属性
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:患者报告的关键非洲语言中的结果措施促进研究和临床实践的多样性(骄傲) - 对测量性能的系统审查
机译:分布式实时系统时序属性的规范和验证