Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
| Autor: | Carloni, Marco, Ferrante, Orlando, Ferrari, Alberto, Massaroli, Gianpaolo, Orazzo, Antonio, Petrone, Ida, Velardi, Luigi |
|---|---|
| Zdroj: | Computer Safety, Reliability & Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings; 2014, p137-146, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|