-
181
Embedded Systems Development Tools: A MODUS-oriented Market Overview
Published 2014-03-01Subjects: Get full text
Article -
182
Research on Cache Coherence Protocol Verification Method Based on Model Checking
Published 2023-08-01Subjects: Get full text
Article -
183
Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
Published 2022-01-01Subjects: Get full text
Article -
184
Simple Framework for Efficient Development of the Functional Requirement Verification-specific Language
Published 2021-08-01Subjects: Get full text
Article -
185
On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
Published 2018-10-01Subjects: “…formal verification…”
Get full text
Article -
186
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation
Published 2023-01-01Subjects: Get full text
Article -
187
Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
Published 2021-01-01Subjects: Get full text
Article -
188
A lightweight D2D security protocol with request-forecasting for next-generation mobile networks
Published 2022-12-01Subjects: Get full text
Article -
189
Formalizing and Safeguarding Blockchain-Based BlockVoke Protocol as an ACME Extension for Fast Certificate Revocation
Published 2022-12-01Subjects: Get full text
Article -
190
Online Verification Enabling Approval of Driving Functions—Implementation for a Planner of an Autonomous Race Vehicle
Published 2021-01-01Subjects: Get full text
Article -
191
Template-Based Semi-Formal Approach to Robust Equivalence Checking
Published 2022-05-01Subjects: “…semi-formal verification…”
Get full text
Article -
192
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
Published 2019-01-01Subjects: “…Formal verification…”
Get full text
Article -
193
Reasoning Method Based on Intervals with Symmetric Truncated Normal Density
Published 2021-12-01Subjects: “…formal verification…”
Get full text
Article -
194
A Design and Verification Methodology for a TrustZone Trusted Execution Environment
Published 2020-01-01Subjects: “…Formal verification…”
Get full text
Article -
195
-
196
Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone
Published 2021-03-01Subjects: Get full text
Article -
197
Quantitative Characterization of Reconfigurable Transistor Logic Gates
Published 2020-01-01Subjects: Get full text
Article -
198
-
199
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Published 2022-01-01Subjects: Get full text
Article -
200