Login / Signup
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Xiong Xu
Shuling Wang
Bohua Zhan
Xiangyu Jin
Jean-Pierre Talpin
Naijun Zhan
Published in:
Theor. Comput. Sci. (2022)
Keyphrases
</>
artificial intelligence
data analysis
information processing
software systems