# A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard

> Research article (International Journal on Software Tools for Technology Transfer, 2019) · cited 24× · AI/ML

**Wikidata**: [openalex:W2981584093](https://www.wikidata.org/wiki/openalex:W2981584093)  
**Source**: https://4ort.xyz/entity/a-formal-refinement-based-analysis-of-the-hybrid-ertms-etcs-level-3-standard