Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach

TitleEnabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach
Publication TypeJournal Article
Year of Publication2013
AuthorsBernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V
JournalReliability Engineering and System Safety
Volume120
Start Page112
Pagination112-126
Date Published12/2013
URLhttp://www.sciencedirect.com/science/article/pii/S095183201300197X
DOI10.1016/j.ress.2013.06.032
Export
Files: