-
Symbolic Testing Approach of Composite Web Services
Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities... -
Computation of the worst case execution time : formal analysis method that fi...
To ensure that a program will respect all its timing constraints we must be able to compute a safe estimation of its worst case execution time (WCET). However with the...
