Siemens AG, Corporate Technology (SE 2), Otto-Hahn-Ring 6, 81739 Munich, Germany;
Vanderbilt University, Department of Electrical Engineering and Computer Science, Box 1679 Station B, Nashville, TN, 37235, USA;
modeling; prolog; constraint solver; model completion; model checking; automotive;
机译:将模型驱动的开发应用于分布式实时和嵌入式航空电子系统
机译:在不确定环境中运行的嵌入式实时系统的非确定性行为建模框架
机译:Time Weaver:用于嵌入式实时系统的软件通过模型框架
机译:在分布式实时和嵌入式系统中(重新)部署组件的框架
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:机器人辅助实时MRI指导的TAVR:从系统部署到猪模型体内实验
机译:(重新)在分布式实时和嵌入式系统中部署组件的框架