共 21 条
[1]
Chkouri M, 2009, CEUR WORKSHOP P, V507, P65
[2]
Correa T, 2010, 6 EMB REAL TIM SOFTW
[3]
Delange J, 2010, 15 IEEE INT C ENG CO, P319, DOI [10.1109/ICECCS.2010.12, DOI 10.1109/ICECCS.2010.12]
[4]
Donadel R., 2014, IFAC P VOLUMES, V47, P3839, DOI [10.3182/20140824-6-ZA-1003.01735, DOI 10.3182/20140824-6-ZA-1003.01735]
[5]
Feiler P. H., 2012, MODEL BASED ENG AADL, V1st
[6]
Gonçalves FS, 2013, INT CONF UNMAN AIRCR, P761
[7]
Goncalves F. S., 2013, 3 WORKSH CYB PHYS SY
[8]
INRIA ESPRESSO Team, 2010, POL
[9]
An Implementation of the Behavior Annex in the AADL-toolset Osate2
[J].
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS),
2011,
:332-337
[10]
Lasnier G, 2009, LECT NOTES COMPUT SC, V5570, P237, DOI 10.1007/978-3-642-01924-1_17