# Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

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

**Wikidata**: [openalex:W3006060688](https://www.wikidata.org/wiki/openalex:W3006060688)  
**Source**: https://4ort.xyz/entity/validation-and-real-life-demonstration-of-etcs-hybrid-level-3-principles-using-a-formal-b-model