DEVS; Java; embedded control systems; model checking; model continuity; real-time constraints; temporal analysis; timed automata;
机译:基于RT-DEVS的嵌入式系统开发方法
机译:基于RT-DEVS的嵌入式系统开发方法
机译:计算机控制与实验检测技术:基于Nios-II的同步加速器监控系统通用可重构嵌入式微控制器设计
机译:嵌入式控制系统设计基于RT-DEVS和使用UPPAAL的时间分析
机译:用于混合和嵌入式系统分析和设计的基于采样的算法。
机译:食品4的健康-He Oranga Kai:评估鼠李糖乳杆菌HN001和β-葡聚糖改善糖尿病前期成年人糖化血红蛋白的功效可接受性和经济意义:2项研究方案2析因设计平行分组安慰剂对照随机对照试验具有嵌入式定性研究和经济分析
机译:基于RT-DEVs的嵌入式控制系统设计和使用UppaaL的时间分析
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划