Model-Based Evaluation of the Availability of a CBTC System.
| Autor: | Ferrari, Alessio, Itria, Massimiliano L., Chiaradonna, Silvano, Spagnolo, Giorgio O. |
|---|---|
| Zdroj: | Software Engineering for Resilient Systems; 2012, p165-179, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|