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