Вы здесь

Главная

цепи маркова

Связанные издания:

Analytical and Stochastic Modeling Techniques and Applications: Proc./17th International Conference, ASMTA 2010, Cardiff, UK, June 2010
Analytical and Stochastic Modeling Techniques and Applications: Proc./19th International Conference, ASMTA 2012, Grenoble, France, June 2012
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Branching Time Equivalences for Interactive Markov Chains
Computer Performance Engineering: Proc./6th European Performance Engineering Workshop, EPEW 2009. London, UK, July 2009
Discrete time stochastic Petri box calculus with immediate multiactions
Don t Know in Probabilistic Systems
Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
STACS 2005: Proc./22nd Annual Symposium on Theoretical Aspects of Computer Science. Stuttgart, Germany, February 2005
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Symbolic Model Checking of Stochastic Systems: Theory and Implementation
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies
Некоторые марковские системы обслуживания с повторными вызовами в условиях малой загрузки
Оценивание мультимедийных дистанционных курсов с использованием цепей Маркова
Сети обслуживания с многоканальными узлами в случайной среде