Special issue: architecture-driven semantic analysis of embedded systems

Veröffentlicht 2015

Building parallel, embedded, and real-time applications with Ada

von McCormick, John W.
Veröffentlicht 2011

Formalization of the AADL Run-Time Services

von Hatcliff, John
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

A Modular Approach to Verification of Learning Components in Cyber-Physical Systems

von Zhai, Lijing
Veröffentlicht in AIAA SciTech Forum (2023 : National Harbor, Md.; Online) Intelligent systems ; Volume 1 of 3 (2023)

Towards Intelligent Security for Unmanned Aerial Vehicles: a Taxonomy of Attacks, Faults, and Detection Mechanisms

von Zhai, Lijing
Veröffentlicht in AIAA SciTech Forum and Exposition (2022 : San Diego, Calif.; Online) Intelligent systems ; Volume 1 of 2 (2022)