Search alternatives:
verification » purification (Expand Search), modification (Expand Search)
quantification » identification (Expand Search)
modifications » modification (Expand Search)
specifications » specification (Expand Search), specificities (Expand Search)
Showing 1 - 20 results of 638,078 for search '((((verification OR verification) OR quantification) OR modifications) OR specifications)', query time: 1.40s Refine Results
  1. 1
    Formal Specifications and Verification of AUTOSAR-compliant RTOS

    Formal Specifications and Verification of AUTOSAR-compliant RTOS by Drona Nagarajan (12487381)

    Published 2024
    “…<p dir="ltr">In this paper we propose a method for formal specification of AUTOSAR SWS_OS and verify that a given implementation adheres to the standard. …”
    Save to List
    Saved in:
  2. 2
    Reproducible Research, Uncertainty Quantification, and Verification & Validation

    Reproducible Research, Uncertainty Quantification, and Verification & Validation by Lorena A. Barba (97553)

    Published 2014
    Subjects:
    Save to List
    Saved in:
  3. 3
    Verification of the tissue specificity of RIP.

    Verification of the tissue specificity of RIP. by Gen-cheng Gong (750554)

    Published 2015
    Save to List
    Saved in:
  4. 4
    Algorithm verification.

    Algorithm verification. by Dmitrii Smirnov (8822324)

    Published 2020
    Subjects:
    Save to List
    Saved in:
  5. 5
    Model establishment and verification.

    Model establishment and verification. by Jian Zhang (1682)

    Published 2014
    Subjects: “…Hepatocyte Growth Factor Modification Enhances…”
    Save to List
    Saved in:
  6. 6
    Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"

    Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications" by Isabel Amaral (22620224)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  7. 7
    Incorporating Verification Standards for Security Requirement Generation from Functional Specifications

    Incorporating Verification Standards for Security Requirement Generation from Functional Specifications by D F2SRD (19664245)

    Published 2025
    “…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …”
    Save to List
    Saved in:
  8. 8
    ProVerif Validation – Summary of Verification.

    ProVerif Validation – Summary of Verification. by Ismail Keshta (17727699)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  9. 9
    Verification paths.

    Verification paths. by Adeeb A. Ahmed (20404825)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  10. 10
    Verification paths.

    Verification paths. by Adeeb A. Ahmed (20404825)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  11. 11
    Verification paths.

    Verification paths. by Adeeb A. Ahmed (20404825)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  12. 12
    Model verification.

    Model verification. by Philippos Michaelides (18463232)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  13. 13
    Verification of nephrin antibody specificity in kidney sections.

    Verification of nephrin antibody specificity in kidney sections. by C. James Cooper (5746703)

    Published 2018
    Save to List
    Saved in:
  14. 14
    Verification of the specificity of the PGC-1α antibody.

    Verification of the specificity of the PGC-1α antibody. by Gilles Gouspillou (252959)

    Published 2014
    Save to List
    Saved in:
  15. 15
    Verification of the primer combinations specificity by Sanger sequencing.

    Verification of the primer combinations specificity by Sanger sequencing. by Nathaly Maldonado-Taipe (10291593)

    Published 2021
    Save to List
    Saved in:
  16. 16
    Verification of sporulation-specific inhibitors identified in this study.

    Verification of sporulation-specific inhibitors identified in this study. by Ulrich Schlecht (145060)

    Published 2012
    Subjects:
    Save to List
    Saved in:
  17. 17
    Verification.

    Verification. by Peng Peng (321387)

    Published 2021
    “…<p>Verification.</p>…”
    Save to List
    Saved in:
  18. 18
    Verification of Cas9 expression.

    Verification of Cas9 expression. by Saathvika Rajamani (15909890)

    Published 2025
    Subjects:
    Save to List
    Saved in:
  19. 19
    Verification of changes in SUMOylation in selected cellular and viral proteins.

    Verification of changes in SUMOylation in selected cellular and viral proteins. by Carlos F. De La Cruz-Herrera (5489147)

    Published 2023
    Subjects:
    Save to List
    Saved in:
  20. 20
    Verification and Validation of Computational Modeling and Simulation - A community effort

    Verification and Validation of Computational Modeling and Simulation - A community effort by Tina Morrison (556289)

    Published 2016
    Subjects:
    Save to List
    Saved in:

Search Tools: