Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
| Autor: | Bernardi, S., Flammini, F., Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V. |
|---|---|
| Zdroj: | In Reliability Engineering and System Safety December 2013 120:112-126 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect