Railway timetable stability analysis using max-plus system theory 论文

2006Transportation Research Part B Methodological引用 254

Petri Nets in System ModelingFormal Methods in VerificationRailway Systems and Energy Efficiency

Petri Nets in System Modeling Formal Methods in Verification Railway Systems and Energy Efficiency

相关技术:Formal Methods in Verification Petri Nets in System Modeling

1

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

Rob M.P. Goverde

相关技术查看全部 (2)

Formal Methods in Verification Petri Nets in System Modeling

相关事件

暂无数据

相关文章

暂无数据