%0
Generic
%T
Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
%A Núñez, Manuel
%A Maamar, Zakaria
%A Pelayo, Fernando L.
%A Pousttchi, Key
%A Rubio, Fernando
%I Springer
%@ 9783540302339
%@ 3540231692
%@ 9783540231691
%K Computer Communication Networks
%K Computer system performance
%K Logic design
%K Computer communication systems.
%K Computer logic.
%K Computer system failures.
%K Computer science
%K Software engineering
%K Computers and civilization.
%K Electronic digital computers
%K Computer networks .
%K Computer Science
%K Konferenzschrift 2004 Toledo
%K Electronic Commerce
%K Formale Methode
%K Verteiltes System
%K Leistungsbeurteilung
%K Modellierung
%K Testen
%D 2004
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2