Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A component-based topology model for railway interlocking systems

201126 citationsJournal Article

Authors

Xiangxian Chen · Zhejiang University

Huang Hai · Zhejiang University

Topics & Keywords

Model-Driven Software Engineering Techniques Formal Methods in Verification Advanced Software Engineering Methodologies

Publication Details

Published in: Mathematics and Computers in Simulation

Volume 81, Issue 9, pp. 1892-1900

DOI: 10.1016/j.matcom.2011.02.007

Field-Weighted Citation Impact: 2.05

A component-based topology model for railway interlocking systems | Researchclopedia