Journals in DBLP

Computer Communications
2000, volume: 23, number: 12

1. Richard Lai
   Editorial. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1087-1088 [Journal]
   
2. Guy Leduc, François Germeau
   Verification of security protocols using LOTOS-method and application. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1089-1103 [Journal]
   
3. Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj
   Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1104-1123 [Journal]
   
4. Maria Törö, Jinsong Zhu, Victor C. M. Leung
   Design of universal personal computing using SDL. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1124-1134 [Journal]
   
5. Daniel Amyot, Luigi Logrippo
   Use Case Maps and _LOTOS for the prototyping and validation of a mobile group call system. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1135-1157 [Journal]
   
6. Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
   Tool support for hardware/software co-design of communication protocols. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1158-1168 [Journal]
   
7. J. Jenny Li, Joseph Robert Horgan
   Applying formal description techniques to software architectural design. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1169-1178 [Journal]
   
8. Hartmut König, Peter Langendörfer, Heiko Krumm
   Improving the efficiency of automated protocol implementations using a configurable FDT compiler. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1179-1195 [Journal]
   
9. Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon
   A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1196-1213 [Journal]