Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Editorial Board 2003
 45 12 p. IFC-
1 p.
 artikel
2 Experience in developing and testing network protocol software using FDTs Ümit Uyar, M.
 2003
 45 12 p. 815-835
21 p.
 artikel
3 Fault detection in Rule-based Software systems Wang, Dong
 2003
 45 12 p. 865-871
7 p.
 artikel
4 Formal verification of dependable distributed protocols Sinha, Purnendu
 2003
 45 12 p. 873-888
16 p.
 artikel
5 New approaches for passive testing using an Extended Finite State Machine specification Cavalli, Ana
 2003
 45 12 p. 837-852
16 p.
 artikel
6 Preface Dssouli, Rachida
 2003
 45 12 p. 791-792
2 p.
 artikel
7 Synthesis of distributed testers from true-concurrency models of reactive systems Jard, Claude
 2003
 45 12 p. 805-814
10 p.
 artikel
8 Testing distributed real-time systems in the presence of inaccurate clock synchronizations Khoumsi, Ahmed
 2003
 45 12 p. 853-864
12 p.
 artikel
9 UIO sequence based checking sequences for distributed test architectures Hierons, Robert M
 2003
 45 12 p. 793-803
11 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland