Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking

TitleExtending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking
Publication TypeUnpublished
Year of PublicationIn Press
AuthorsMarkovski, J, Musa, EES, Reniers, MA
Series TitleProceedings PASM 2012
Date Published2012
Work Package: 
WP4