一个实时系统的动态检查

机译：复杂实时系统的动态检查

机译：工作安全是一个动态要素：法规的发展，截止日期，检查和定期检查

机译：开发一个内部部署版本的模拟分支机TM，并开始提供研究应用：全球第一个Quantum激发优化计算器嵌入在应急响应和金融交易等实时系统中

机译：多个瞬态故障下实时系统的惰性预警动态检查点策略

机译：什么设定了一个温暖的世界的冰川变化的步伐？检查气候，几何和动态的角色

机译：一个检查点可能隐藏另一个检查点：抑制TGFβ信号传导途径可增强免疫检查点的封锁

机译：实时系统的动态符号模型检查

机译：软件数据收集和分析：一个实时系统项目历史。

机译：测量实时系统动态属性以实时提取动态属性信息的装置和方法

机译：实时系统，实时系统的执行模块执行方法，实时系统的执行模块以及实时系统的记录介质执行代码

机译：阴极的物理质量检查站，可产生受控的光空间，该空间包括一个光学检查系统，一个防护罩和一个支撑结构，并且是不透明的，它可使阴极在倾斜的位置通过以进行光系统检查