搜索结果: 1-1 共查到“安全科学技术 Backward reachability”相关记录1条 . 查询时间(0.202 秒)
Backward reachability of Colored Petri Nets for systems diagnosis
Colored Petri Nets (CPN) Backward reachability Structural analysis Dependability Embedded systems Diagnosis
2012/4/22
Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for depe...