An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)
Sliced Secure Boot: An Accelerated Secure Boot Concept Compatible with Automotive Safety Controllers
Using a Dual-Layer Specification to Offer Selective Interoperability for Uptane
Power Analysis and Fault Attacks against Secure CAN: How Safe Are Your Keys?
Network-Attached Solid-State Recorder Architecture
Network End-to-End Data Link Evaluation System Transceiver Health Monitoring
Hardware and Software Description
Compendium of the Previous Chapters in Real Time with Application Code
Quadcopter Control with Smooth Flight Mode
Basic Input and Output Operations
JAUS Service Interface Definition Language with ASCII files
Data Dictionary for Quantities Used in Cyber Physical Systems (Enhanced License)
Unmanned Systems (UxS) Control Segment (UCS) Architecture: Conformance Specification
Shared Memory Interface for Gas Turbine Engine Performance Programs