Computer Networks （CN） - Volume 42, Issue 3 论文列表
| 点击这里查看 Computer Networks 的JCR分区、影响因子等信息 |
| 卷期号： Volume 42, Issue 3 |
| 发布时间： 21 June 2003 |
| 卷期年份： 2003 |
| 卷期官网： https://www.sciencedirect.com/journal/computer-networks/vol/42/issue/3 |
本期论文列表
Editorial Board
ITU-T system design languages (SDL)
Introduction to the User Requirements Notation: learning by example
Time consistency of MSC-2000 specifications
Describing interactions between MSC components: the MSC connectors
The formal semantics of SDL-2000: Status and perspectives
Coverage testing software architectural design in SDL
An introduction to the testing and test control notation (TTCN-3)
Generating test sequences from a set of MSCs