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

نتائج البحث

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

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

Collection : Hal-Cea (Commissariat A L'energie Atomique Et Aux Energies Alternatives)
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Subjects: Model-based testing; off-line testing; real-time systemsAalborg; Denmark

  • Source: Lecture Notes in Computer Science ; 24th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-01482398 ; 24th International Conference on Testing Software

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

اقرأ أكثر
×
Dissertation/ Thesis

Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol ; Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle

Subjects: Distributed systems; Model-Based Testing; Timed Input Output Symbolic Transition Systems

  • Source: https://theses.hal.science/tel-02645881 ; Other. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC092⟩.

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

اقرأ أكثر
×
Conference

Soundness of a Dataflow Analysis for Memory Monitoring

Subjects: dataflow analysis; memory monitoring; runtime assertion checkingBoston; United StatesBoston, United States

  • Source: HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems ; https://cea.hal.science/cea-02283406 ; HILT 2018 Workshop on Languages and Tools for

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

اقرأ أكثر
×
Academic Journal

Relaxation volumes of microscopic and mesoscopic irradiation-induced defects in tungsten

Subjects: [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci]; [PHYS.PHYS.PHYS-COMP-PH]Physics [physics]/Physics [physics]/Computational Physics [physics.comp-ph]; [CHIM.MATE]Chemical Sciences/Material chemistry

  • Source: ISSN: 0021-8979.

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

اقرأ أكثر
×
Dissertation/ Thesis

Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem ; Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l’oracle

Subjects: Timed Distributed Testing; Model-based Testing; Constraint-based Testing

  • Source: https://theses.hal.science/tel-02292973 ; Other. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLC021⟩.

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

اقرأ أكثر
×
  • 1-5 ل  5 نتائج ل ""Verdict""