Home ›
Entities
› academia
› A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems
Research article (Computers in Industry, 2020) · cited 20× · AI/ML
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems
Summary
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems is a scholarly article[1].
Key Facts
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems. Retrieved May 24, 2026, from https://4ort.xyz/entity/a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi
MLA“A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi.
BibTeX@misc{4ortxyz_a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems}}, year = {2026}, url = {https://4ort.xyz/entity/a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems — https://4ort.xyz/entity/a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi (retrieved 2026-05-24)
