Showing 1 - 4 results of 4 for search 'Stoelinga, Mariëlle', query time: 0.02s Refine Results
  1. 1
    Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
    Published 2019
    Other Authors: “…Stoelinga, Mariëlle…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Published 2012
    Other Authors: “…Stoelinga, Mariëlle…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2014
    Other Authors: “…Stoelinga, Mariëlle…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Published 2013
    Other Authors: “…Stoelinga, Mariëlle…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search