Search alternatives:
notifications » notification (Expand Search), modifications (Expand Search)
quantification » identification (Expand Search)
verification » purification (Expand Search)
specifications » specification (Expand Search), specificities (Expand Search)
Showing 1 - 20 results of 640,508 for search '((((notifications OR modification) OR quantification) OR verification) OR specifications)', query time: 1.46s 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
    Notification.

    Notification. by Siliang Luan (9499924)

    Published 2020
    Subjects:
    Save to List
    Saved in:
  4. 4
    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:
  5. 5
    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:
  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
    deltaspec

    deltaspec by Renzo Degiovanni (8550231)

    Published 2023
    Subjects: “…Software testing, verification and validation…”
    Save to List
    Saved in:
  8. 8
    Quantification of carbonylated proteins and peptides and location of the modification.

    Quantification of carbonylated proteins and peptides and location of the modification. by Sabine Matallana-Surget (146257)

    Published 2013
    Save to List
    Saved in:
  9. 9
    Benchmarks (SMT vs CSP)

    Benchmarks (SMT vs CSP) by Guillaume Voiron (3804220)

    Published 2017
    Subjects:
    Save to List
    Saved in:
  10. 10
    Number of Pregnancy Notifications, Deliveries, and Age-specific Births in Hokkaido.

    Number of Pregnancy Notifications, Deliveries, and Age-specific Births in Hokkaido. by Naomi Maeda (20760284)

    Published 2025
    “…<p>This table presents the number of pregnancy notifications, delivery cases, births, and age-specific birth counts of mothers in Hokkaido, based on publicly available data from 2011 to 2019. …”
    Save to List
    Saved in:
  11. 11
    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:
  12. 12
    Site-Specific Quantification of Protein Palmitoylation by Cysteine-Stable Isotope Metabolic Labeling

    Site-Specific Quantification of Protein Palmitoylation by Cysteine-Stable Isotope Metabolic Labeling by Xiaoqin Zhang (517854)

    Published 2018
    Subjects: “…protein translational modifications…”
    Save to List
    Saved in:
  13. 13
    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:
  14. 14
    Algorithm verification.

    Algorithm verification. by Dmitrii Smirnov (8822324)

    Published 2020
    Subjects:
    Save to List
    Saved in:
  15. 15
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  16. 16
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  17. 17
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  18. 18
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  19. 19
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:
  20. 20
    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides

    Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides by Joann Chongsaritsinsuk (20112277)

    Published 2024
    Subjects:
    Save to List
    Saved in:

Search Tools: