Showing 1 - 4 results of 4 for search 'Remke, Anne', query time: 0.02s Refine Results
  1. 1
    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: “…Remke, Anne…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings /
    Published 2016
    Other Authors: “…Remke, Anne…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
    Published 2015
    Other Authors: “…Remke, Anne…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
    Published 2018
    Other Authors: “…Remke, Anne…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search