Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach
| Title | Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach |
| Publication Type | Journal Article |
| Year of Publication | Submitted |
| Authors | Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V |
| Journal | Reliability Engineering and System Safety |
| Export |
