机译:CONCERTO项目:一种用于设计,部署和运行可靠且安全的CPS系统的开源方法
Intecs, via Umberto Forti, 5 Montacchiello -I-56121 Pisa, Italy;
model-based; real-time; safety; component-based; modeling; correctness-by-construction; separation of concerns; CPS; multicore;
机译:生产项目-设计和运行以生命周期为导向并经过灵活性优化的生产系统
机译:用有效性设计,评估和部署自动化评分系统:方法论设计决策
机译:云计算环境中的系统部署:选择和确定项目优先级的方法
机译:安全相关应用程序可靠的软件开发方法:从模拟到可靠的源代码
机译:一种用于分析车内运行数据和设计智能车辆系统以提高汽车安全性的方法。
机译:一种设计可靠的VV优化方法的系统方法:评估心脏再同步治疗的超声心动图心电图和血流动力学的内部有效性
机译:是自动系统的未来摩托车安全吗?一种新的方法,优先考虑潜在安全解决方案的潜在效果