Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
| Year of publication: |
2013
|
|---|---|
| Authors: | Bernardi, S. ; Flammini, F. ; Marrone, S. ; Mazzocca, N. ; Merseguer, J. ; Nardone, R. ; Vittorini, V. |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 120.2013, p. 112-126
|