يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Jeremy Sproston', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1
    Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

    Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities حسب Jeremy Sproston

    منشور في 2021-11-01
    احصل على النص الكامل
    مقال
  2. 2
    Model Checking Probabilistic Timed Automata with One or Two Clocks

    Model Checking Probabilistic Timed Automata with One or Two Clocks حسب Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston

    منشور في 2008-09-01
    احصل على النص الكامل
    مقال

أدوات البحث: