共 53 条
[1]
Abdeen H., 2014, INT C AUTOMATED SOFT, P289
[2]
Aerospace S.A.E., 2011, AIR6110 SAE INT
[3]
ArcheOpterix: An Extendable Tool for Architecture Optimization of AADL Models
[J].
MOMPES: 2009 ICSE WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE,
2009,
:61-71
[4]
[Anonymous], 2015, AS2C SAE INT
[5]
[Anonymous], 2004, 10 AIAA ISSMO MULT A
[6]
[Anonymous], 2011, AS2C SAE INT
[7]
Bak K, 2011, LECT NOTES COMPUT SC, V6563, P102, DOI 10.1007/978-3-642-19440-5_7
[8]
Balling R., 1999, P 3 WORLD C STRUCTUR, P295
[10]
Bertolino A., 1998, Software Testing, Verification and Reliability, V8, P155, DOI 10.1002/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO