Formal Specifications and Verification of AUTOSAR-compliant RTOS حسب Drona Nagarajan (12487381)

"…<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. …"

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

الموضوعات:

Notification. حسب Siliang Luan (9499924)

الموضوعات:

Verification of the tissue specificity of RIP. حسب Gen-cheng Gong (750554)

Incorporating Verification Standards for Security Requirement Generation from Functional Specifications حسب D F2SRD (19664245)

"…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …"

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

الموضوعات:

deltaspec حسب Renzo Degiovanni (8550231)

الموضوعات: "…Software testing, verification and validation…"

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

Benchmarks (SMT vs CSP) حسب Guillaume Voiron (3804220)

الموضوعات:

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

"…<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. …"

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

الموضوعات:

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

الموضوعات: "…protein translational modifications…"

Model establishment and verification. حسب Jian Zhang (1682)

الموضوعات: "…Hepatocyte Growth Factor Modification Enhances…"

Algorithm verification. حسب Dmitrii Smirnov (8822324)

الموضوعات:

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

الموضوعات:

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

الموضوعات:

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

الموضوعات:

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

الموضوعات:

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

الموضوعات:

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

الموضوعات: