Dependability analysis of DES based on MARTE and UML state machines models

TitleDependability analysis of DES based on MARTE and UML state machines models
Publication TypeJournal Article
Year of Publication2012
AuthorsMerseguer, J, Bernardi S
JournalDiscrete Event Dynamic Systems
Volume22
Issue2
Start Page163
Pagination15
ISSN0924-6703
DOI10.1007/s10626-011-0111-1
Export
Files: