High Assurance Systems Engineering
Toward Okinawa‐Style Robot‐Embedded Systems
Reliability & safety for embedded systems
SAE Architecture Analysis and Design Language (AADL) Fact Sheet
Embedded Reconfigurable Processing for UAV Applications
Future Roles of Structural Sensing for Aerospace Applications
Dependability Modeling with the Architecture Analysis & Design Language (AADL)
Research Institute for Autonomous Precision Guided Systems
Development and Tests of an Automatic Decking System Demonstrator of VTOL UAV on Naval Platform