processor scheduling; systems analysis; control system analysis computing; embedded systems; formal verification; automata theory; safety-critical software; computer-based embedded control system analysis; computer-based embedded control system modeling;
机译:迈向设计评估系统的集成模型:对基于计算机的科学评估现状的分析
机译:汽车实时嵌入式控制系统从建模到实现的集成开发环境
机译:具有标准组件的工程系统的基于计算机的计算机实施方案的集成建模环境
机译:基于计算机的嵌入式控制系统的集成建模与分析
机译:用于集成嵌入式控制软件设计的性能建模和分析技术。
机译:对16项随机对照试验的荟萃分析以评估基于计算机的临床提醒系统在门诊环境中的预防性护理。
机译:基于计算机的嵌入式控制系统的集成建模与分析
机译:嵌入式传感器和控制器,以提高组件性能和可靠性 - 系统动力学建模和控制系统设计。