Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions.

Published in: IEEE Access (2021)

Keyphrases