Dependability analysis of DES based on MARTE and UML state machines models
| Title | Dependability analysis of DES based on MARTE and UML state machines models |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Merseguer, J, Bernardi S |
| Journal | Discrete Event Dynamic Systems |
| Volume | 22 |
| Issue | 2 |
| Start Page | 163 |
| Pagination | 15 |
| ISSN | 0924-6703 |
| DOI | 10.1007/s10626-011-0111-1 |
| Export |
Files:
