Journals in DBLP

Computer Networks and ISDN Systems
1996, volume: 29, number: 1

1. Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
   Standardization of Formal Methods in Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:3-14 [Journal]
   
2. Finn Kristoffersen, Thomas Walter
   TTCN: Towards a Formal Semantics and Validation of Test Suites. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:15-47 [Journal]
   
3. Jan Tretmans
   Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:49-79 [Journal]
   
4. Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
   On Fault Coverage of Tests for Finite State Specifications. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:81-106 [Journal]
   
5. Ahmet F. Ates, Behçet Sarikaya
   Test Sequence Generation and Timed Testing. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:107-131 [Journal]