Monthly Archives: April 2015

Vol. 70, n° 3-4, March-April 2015
Content available on Springerlink

Guest editors
Ana R. Cavalli, Télécom SudParis, France
Teruo Higashino, Osaka University, Japan
Manuel Núñez, Universidad Complutense de Madrid, Spain


Ana R. Cavalli, Teruo Higashino, Manuel Núñez

A survey on formal active and passive testing with applications to the cloud

Ana R. Cavalli1, Teruo Higashino2, and Manuel Núñez3

(1) Télécom SudParis, France
(2) Osaka University, Japan
(3) Universidad Complutense de Madrid, Spain

Testing trust properties using a formal distributed network monitoring approach

Xiaoping Che1, 2, Jorge Lopez2, Stephane Maag2 and Gerardo Morales3

(1) Beijing Jiaotong University, People’s Republic of China
(2) Telecom SudParis, France
(3) Universidad Galileo, Guatemala, Guatemala

Abstract Collaborative systems are growing in use and in popularity.» Read the summary

Read More