Use of formal languages to represent the ERTMS/ETCS system requirements specifications.
| Autor: | Piccolo, Antonio, Galdi, Vincenzo, Senesi, Fabio, Malangone, Raffaele |
|---|---|
| Zdroj: | 2015 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion & Road Vehicles (ESARS); 2015, p1-5, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|