Quality assurance; Software engineering; Embedded systems; Real time; Symposia; Algorithms; Distributed data processing;
机译:基于Petri网的GALS中的异步通道分布式嵌入式系统建模
机译:通过整合甲羟戊酸酯和甲基赤藓糖醇磷酸途径在酵母中开发基于Petri网的动态模型以提高焦磷酸法呢酯的生产(会议论文)
机译:培养基于网络的“网络”方法,工业系统的建模与分析
机译:QoS-UniFrame:基于Petri网的建模方法,可确保分布式实时和嵌入式系统的QoS要求
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:基于Petri网的血管生成分子调控所选方面的建模和分析方法
机译:QoS-UniFrame:基于Petri网的建模方法,可确保分布式实时和嵌入式系统的QoS要求