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 | 2013 |
| Authors | Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V |
| Journal | Reliability Engineering and System Safety |
| Volume | 120 |
| Start Page | 112 |
| Pagination | 112-126 |
| Date Published | 12/2013 |
| URL | http://www.sciencedirect.com/science/article/pii/S095183201300197X |
| DOI | 10.1016/j.ress.2013.06.032 |
| Export |
Files:
