Validation Coverage for a Component-based SDL model of a Railway Signaling System
| Autor: | Banci, M., Becucci, M., Fantechi, A., Spinicci, E. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 19 January 2005 116:99-111 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect