CARLOS E. BUDDE; PEDRO R. D'ARGENIO; PEDRO SÁNCHEZ TERRAF; NICOLAS WOLOVICK

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

Año: 2014; p. 67 - 86