paper · community record
Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL
A connected record in the developer community graph.
01
Connections
1 relationship
A connected record in the developer community graph.
1 relationship