Real-time systems; high-integrity systems; model-driven engineering; Ada; Ravenscar profile;
机译:非因果框架,用于基于模型的边界层流系统中空间发展扰动的反馈控制。第一部分:配方
机译:非因果框架,用于基于模型的边界层流系统中空间发展扰动的反馈控制。第二部分:使用状态反馈进行数值模拟
机译:广义布尔逻辑驱动的马尔可夫过程:一个强大的建模框架,用于基于模型的动态可修复和可重构系统的安全性分析
机译:基于模型的开发实时安全ADA系统的框架
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:推进针对工作场所安全的社会技术系统方法–建立概念框架
机译:基于模型的安全分析的集成系统设计和安全框架
机译:实时安全关键智能系统认证和评估框架