Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking
| Title | Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking |
| Publication Type | Unpublished |
| Year of Publication | In Press |
| Authors | Markovski, J, Musa, EES, Reniers, MA |
| Series Title | Proceedings PASM 2012 |
| Date Published | 2012 |
Work Package:
WP4
