Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 Editorial Board 2003
 45 12 p. IFC-
1 p.
 article
2 Experience in developing and testing network protocol software using FDTs Ümit Uyar, M.
 2003
 45 12 p. 815-835
21 p.
 article
3 Fault detection in Rule-based Software systems Wang, Dong
 2003
 45 12 p. 865-871
7 p.
 article
4 Formal verification of dependable distributed protocols Sinha, Purnendu
 2003
 45 12 p. 873-888
16 p.
 article
5 New approaches for passive testing using an Extended Finite State Machine specification Cavalli, Ana
 2003
 45 12 p. 837-852
16 p.
 article
6 Preface Dssouli, Rachida
 2003
 45 12 p. 791-792
2 p.
 article
7 Synthesis of distributed testers from true-concurrency models of reactive systems Jard, Claude
 2003
 45 12 p. 805-814
10 p.
 article
8 Testing distributed real-time systems in the presence of inaccurate clock synchronizations Khoumsi, Ahmed
 2003
 45 12 p. 853-864
12 p.
 article
9 UIO sequence based checking sequences for distributed test architectures Hierons, Robert M
 2003
 45 12 p. 793-803
11 p.
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands