A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks 论文

2005Artificial Intelligence引用 217
DOI
Petri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems
Petri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems
相关技术:Formal Methods in VerificationPetri Nets in System Modeling
关系图谱

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks · 相关文章

暂无数据