Journals in DBLP

Computer Networks
2003, volume: 42, number: 3

1. Rick Reed
   ITU-T system design languages (SDL). [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:283-284 [Journal]
   
2. Daniel Amyot
   Introduction to the User Requirements Notation: learning by example. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:285-301 [Journal]
   
3. Tong Zheng, Ferhat Khendek
   Time consistency of MSC-2000 specifications. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:303-322 [Journal]
   
4. Peter Graubmann
   Describing interactions between MSC components: the MSC connectors. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:323-342 [Journal]
   
5. Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
   The formal semantics of SDL-2000: Status and perspectives. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:343-358 [Journal]
   
6. W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado
   Coverage testing software architectural design in SDL. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:359-374 [Journal]
   
7. Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock
   An introduction to the testing and test control notation (TTCN-3). [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:375-403 [Journal]
   
8. Nam Hee Lee, Sung Deok Cha
   Generating test sequences from a set of MSCs. [Citation Graph (0, 0)][DBLP]
   Computer Networks, 2003, v:42, n:3, pp:405-417 [Journal]