Stochastic Model Checking:Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Authors
    Publication date
    1 October 2014
    Publisher
    'Springer Science and Business Media LLC'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        University of Twente Research Information

        redirect
        oaioai:ris.utwente.nl:publication...
        Last time updated on 12/07/2023