共 50 条
- [22] Static and Dynamic Verification Method of Trusted Embedded Software Systems 2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 67 - 71
- [23] Unification of static and dynamic AOP for evolution in embedded software systems SOFTWARE COMPOSITION, 2007, 4829 : 216 - 234
- [27] AUTOMATED ACCIDENT LOCATION SYSTEMS. Transportation engineering journal of ASCE, 1982, 108 (TE2): : 197 - 206