Publications
Filters: Author is E.S. Estens Musa [Clear All Filters]
, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.
, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
, “Verification of Stochastic Requirements in Supervised Plants”, SE Report, TUE. 2012.
