机译：用于分析工人政策的代理嵌入式系统动态（AESD）建模方法：建筑工人缺勤研究案例
机译：MARTE配置文件扩展，用于对嵌入式系统的动态电源管理进行建模
机译：固定优先级实时嵌入式系统中用于容错和动态电源管理的统一方法
机译：一种用于评估嵌入式系统的系统级动态电源管理策略的模型检查方法
机译：具有电池和储氢的太阳能混合液体电力稳定能源系统的动态建模，能源，漏洞和稳定成本分析
机译：基于生态系统的渔业管理需要一种综合方法：生态系统级管理战略评估的见解
机译：一种评估嵌入式系统级动态电源管理策略的模型检查方法
