A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.
Saved in:
| Title: | A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. |
|---|---|
| Authors: | Mammar, Amel1, amel.mammar@telecom-SudParis.eu, Frappier, Marc2, Tueno Fotso, Steve Jeffrey2,3, Laleau, Régine3 |
| Source: | International Journal on Software Tools for Technology Transfer; Jun2020, Vol. 22 Issue 3, p333-347, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-019-00543-1 |
