机译:一种改进的有色Petri网模型,用于异构嵌入式系统中的软件组件分配
机译:预测软件定义的无线传感器网络中的能耗:概率性马尔可夫模型方法
机译:基于COTS的方法来估计嵌入式实时系统的性能和能耗
机译:通过概率建模分析嵌入式系统的软件性能和能耗:一种基于有色Petri网的方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于系统行为的嵌入式系统异构层次彩色Petri网软件/硬件体系结构视图