Rachida Dssouli, Ferhat Khendek
págs. 791-792
UIO sequence based checking sequences for distributed test architectures
Hasan Ural, Robert M. Hierons
págs. 793-803
págs. 805-814
Experience in developing and testing network protocol software using FDTs
Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale
págs. 815-835
New approaches for passive testing using an Extended Finite State Machine specification
Caroline Gervy, Svetlana Prokopenko, Ana Cavalli
págs. 837-852
págs. 853-864
págs. 865-871
Formal verification of dependable distributed protocols
Da Qi Ren, Purnendu Sinha
págs. 873-888
© 2001-2024 Fundación Dialnet · Todos los derechos reservados