A formal specification approach for holonic control systems: the ADACOR casePaulo Leitão,Armando W. Colombo,Francisco RestivoIJMTM(2006)引用 18|浏览2暂无评分关键词formal specification,control system,petri netsAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要