Formal Description Techniques and Protocol Specification, Testing and VerificationStan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie NajmInbunden, 19982 181 kr
Protocol Test Systems VIII : Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995Ana Cavalli, Stan Budkowski646 kr
Del 6Formal Description Techniques and Protocol Specification, Testing and VerificationStan Budkowski, Ana Cavalli, Elie NajmHäftad, 20132 181 kr
Formal Description Techniques and Protocol Specification, Testing and VerificationElie Najm, Ana Cavalli, Stan Budkowski E-bok20132 833 kr
Data Privacy Management and Autonomous Spontaneous SecurityJoaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean LeneutreHäftad, 2011566 kr