共 50 条
- [41] Relating architecture and specification COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 437 - 456
- [44] Modelling and evaluation of a Network on Chip architecture using SDL SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 166 - 182
- [46] Specification and simulation of real time concurrent systems using standard SDL tools SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 203 - 217
- [50] Security policy specification in logic IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1299 - 1304