بدائل البحث:
notifications » notification (توسيع البحث), modifications (توسيع البحث)
quantification » identification (توسيع البحث)
verification » purification (توسيع البحث)
specifications » specification (توسيع البحث), specificities (توسيع البحث)
notifications » notification (توسيع البحث), modifications (توسيع البحث)
quantification » identification (توسيع البحث)
verification » purification (توسيع البحث)
specifications » specification (توسيع البحث), specificities (توسيع البحث)
-
1
Formal Specifications and Verification of AUTOSAR-compliant RTOS
منشور في 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. …"
-
2
Reproducible Research, Uncertainty Quantification, and Verification & Validation
منشور في 2014الموضوعات: -
3
-
4
-
5
Incorporating Verification Standards for Security Requirement Generation from Functional Specifications
منشور في 2025"…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …"
-
6
Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"
منشور في 2025الموضوعات: -
7
-
8
-
9
-
10
Number of Pregnancy Notifications, Deliveries, and Age-specific Births in Hokkaido.
منشور في 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. …"
-
11
Verification of changes in SUMOylation in selected cellular and viral proteins.
منشور في 2023الموضوعات: -
12
Site-Specific Quantification of Protein Palmitoylation by Cysteine-Stable Isotope Metabolic Labeling
منشور في 2018الموضوعات: "…protein translational modifications…"
-
13
Model establishment and verification.
منشور في 2014الموضوعات: "…Hepatocyte Growth Factor Modification Enhances…"
-
14
-
15
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: -
16
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: -
17
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: -
18
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: -
19
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: -
20
Quantification and Site-Specific Analysis of Co-occupied N- and O‑Glycopeptides
منشور في 2024الموضوعات: