Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required.

Lydie du Bousquet

Published in: ICSEA (2006)

Keyphrases

management system
behavior analysis
random variables
network services
analysis tool
software tools
information services
software components
distributed systems
end users
web services
service providers
neural network
statistical analysis
peer to peer
formal methods
image analysis
technical issues