C2AADL_Reverse: A model-driven reverse engineering approach for development and verification of safety-critical software
Keyword(s):
2018 ◽
Vol 7
(4)
◽
pp. 665-672
Keyword(s):
Keyword(s):