بدائل البحث:
verification » purification (توسيع البحث), modification (توسيع البحث)
quantification » identification (توسيع البحث)
modifications » modification (توسيع البحث)
specifications » specification (توسيع البحث), specificities (توسيع البحث)
verification » purification (توسيع البحث), modification (توسيع البحث)
quantification » identification (توسيع البحث)
modifications » modification (توسيع البحث)
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
Model establishment and verification.
منشور في 2014الموضوعات: "…Hepatocyte Growth Factor Modification Enhances…"
-
6
Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"
منشور في 2025الموضوعات: -
7
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. …"
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
Verification of changes in SUMOylation in selected cellular and viral proteins.
منشور في 2023الموضوعات: -
20
Verification and Validation of Computational Modeling and Simulation - A community effort
منشور في 2016الموضوعات: