Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-3 of  3 نتائج ل "eds"

فلترة النتائج

Collection : Pumalab (Isti Cnr - Consiglio Nazionale Delle Ricerche / National Research Council) Format : Conference Materials Format : Reports Subject : info
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Quantitative analysis of probabilistic models of software product lines with statistical model checking

Subjects: Software Product Lines; Probabilistic Models; Quantitative Analysis

  • Source: In: FMSPLE'15 - 6th International Workshop on Formal Methods for Software Product Line Engineering (London, UK, 11 April 2015). Proceedings, pp. 56 - 70. J.M. Atlee, S. Gnesi (

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Coherent branching feature bisimulation

Subjects: Software Product Line Engineering; Feature Transition Systems (FTS); Branching bisimulation

  • Source: In: FMSPLE'15 - 6th International Workshop on Formal Methods for Software Product Line Engineering (London, UK, 11 April 2015). Proceedings, pp. 14 - 30. J.M. Atlee, S. Gnesi (

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

On the robustness of temporal properties for stochastic models

Subjects: Robust System Design; info:eu-repo/classification/acm/G.3 PROBABILITY AND STATISTICS; info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs

  • Source: In: HSB 2013 - Second International Workshop on Hybrid Systems and Biology (Taormina, 2 Settembre 2013). Proceedings, pp. 3 - 19. Thao Dang, Carla Piazza (eds.).

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-3 of  3 نتائج ل "eds"