共 50 条
- [41] Seis. A program control flow graph encoding algorithm for control flow checking Technical Report: Ser. Electrical Engineering, 1994, (EE14): : 1 - 66
- [42] Dynamic model checking for concurrent programs in control system Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
- [43] Reliable power flow technique for meshed distribution networks Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2003, 37 (12): : 1272 - 1275
- [44] Verification of pipelined microprocessors by correspondence checking in symbolic ternary simulation 1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 200 - 212
- [45] Control-flow checking via regular expressions 10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 299 - 303
- [46] Control Flow Checking and Recovering based on 8051 Architecture APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1550 - 1551
- [47] Dynamic retransmission control for reliable mobile multicast Journal of Computer Science and Technology, 2003, 18 : 369 - 377
- [49] Control-Flow Checking Using Branch Instructions EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 66 - 72
- [50] Concepts for autonomous control flow checking for embedded CPUs AUTONOMIC AND TRUSTED COMPUTING, PROCEEDINGS, 2008, 5060 : 234 - 248