Journals in DBLP

Information & Software Technology
2003, volume: 45, number: 12

1. Rachida Dssouli, Ferhat Khendek
   Preface. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:791-792 [Journal]
   
2. Robert M. Hierons, Hasan Ural
   UIO sequence based checking sequences for distributed test architectures. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:793-803 [Journal]
   
3. Claude Jard
   Synthesis of distributed testers from true-concurrency models of reactive systems. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:805-814 [Journal]
   
4. M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi
   Experience in developing and testing network protocol software using FDTs. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:815-835 [Journal]
   
5. Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko
   New approaches for passive testing using an Extended Finite State Machine specification. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:837-852 [Journal]
   
6. Ahmed Khoumsi
   Testing distributed real-time systems in the presence of inaccurate clock synchronizations. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:853-864 [Journal]
   
7. Dong Wang, Ruibing Hao, David Lee
   Fault detection in Rule-based Software systems. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:865-871 [Journal]
   
8. Purnendu Sinha, Da Qi Ren
   Formal verification of dependable distributed protocols. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:12, pp:873-888 [Journal]