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 | Journal Article |
| Year of Publication | 2013 |
| Authors | Markovski, J, Musa, EES, Reniers, MA |
| Journal | Electr. Notes Theor. Comput. Sci. |
| Volume | 296 |
| Pagination | 163-181 |
Work Package:
WP4
