Recherches alternatives:
specifications » specification (Recherche élargie), specificities (Recherche élargie)
verification » purification (Recherche élargie)
certificate » certification (Recherche élargie)
specifications » specification (Recherche élargie), specificities (Recherche élargie)
verification » purification (Recherche élargie)
certificate » certification (Recherche élargie)
-
1
Computational cost for certificate and signature verification.
Publié 2024“…<p>Computational cost for certificate and signature verification.</p>…”
-
2
Formal Specifications and Verification of AUTOSAR-compliant RTOS
Publié 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. …”
-
3
-
4
-
5
-
6
Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
Publié 2016Sujets: “…Real-Time Reliability Verification…”
-
7
-
8
-
9
-
10
-
11
-
12
Incorporating Verification Standards for Security Requirement Generation from Functional Specifications
Publié 2025“…<p dir="ltr">The data used in the paper "Incorporating Verification Standards for Security Requirement Generation from Functional Specifications" is published here. …”
-
13
-
14
-
15
-
16
-
17
-
18
-
19
Number of Pregnancy Notifications, Deliveries, and Age-specific Births in Hokkaido.
Publié 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. …”
-
20