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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  176 results for ""verification""

Your Filters

Collection : Universite De Montpellier
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method

Subjects: Circuit reliability; Dual-input inverter (DI); Electronic design automation (EDA)

  • Source: ISSN: 0278-0070 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04737519 ; IEEE Transactions on Computer-Aided Design of

Record details

Read More Add to Saved list
×
Academic Journal

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Subjects: Reconiguration; Software adaptation; Component-based software engineering

  • Source: ISSN: 0360-0300 ; ACM Computing Surveys ; https://inria.hal.science/hal-04067909 ; ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩.

Record details

Read More Add to Saved list
×
Academic Journal

A formal framework for the specification and verification of robotic skills composition for autonomous behaviors

Subjects: Formal methods; Robotic skills; Autonomous Critical Systems

  • Source: ISSN: 0921-8890.

Record details

Read More Add to Saved list
×
Academic Journal

LDAVPM: A Latch Design and Algorithm-based Verification Protected against Multiple-Node-Upsets in Harsh Radiation Environments

Subjects: Latch design; Algorithm-based verification; Fault tolerance

  • Source: ISSN: 0278-0070 ; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03770056 ; IEEE Transactions on Computer-Aided Design of

Record details

Read More Add to Saved list
×
Academic Journal

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Subjects: formal specification; formal verification; health care

  • Source: ISSN: 1751-8806.

Record details

Read More Add to Saved list
×
Conference

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

Subjects: Business Processes; Spatial Concerns; Formal SemanticsBeijing; China

  • Source: FM 2021 - 24th International Symposium on Formal Methods ; https://cnrs.hal.science/hal-03289951 ; FM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234,

Record details

Read More Add to Saved list
×
Conference

Property Expression and Verification in an Incremental Model Development Framework: a Case Study

Subjects: Reactive Systems; Formal Modeling; Formal VerificationToulouse; France

  • Source: ERTS 2022 - 11th European Congress on Embedded Real Time Systems ; https://imt-mines-ales.hal.science/hal-04095205 ; ERTS 2022 - 11th European Congress on Embedded Real Time Systems, Jun 2022,

Record details

Read More Add to Saved list
×
Academic Journal

Combined cytogenetic and molecular methods for taxonomic verification and description of Brassica populations deriving from different origins

Subjects: landraces; Brassica; Genetic diversity

  • Source: ISSN: 2708-3764 ; Genetic Resources ; https://hal.inrae.fr/hal-04608007 ; Genetic Resources, 2024, 5 (9), pp.61-71. ⟨10.46265/genresj.ryaj6068⟩ ;

Record details

Read More Add to Saved list
×
Academic Journal

Polynomial modular product verification and its implications

Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

  • Source: ISSN: 0747-7171.

Record details

Read More Add to Saved list
×
Conference

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Subjects: COMPUTER ARCHITECTURE; MODEL CHECKING; TEMPORAL LOGICBerlin; Germany

  • Source: EPTCS 2022 - Electronic Proceedings in Theoretical Computer Science ; https://hal.science/hal-04073365 ; EPTCS 2022 - Electronic Proceedings in Theoretical Computer Science, Sep 2022, Berlin, Germany.

Record details

Read More Add to Saved list
×
  • 1-10 of  176 results for ""verification""