Sunyé, G.; Lina - Université de Nantes, 2 rue de la Houssinière, Nantes Cedex 03, France
De Almeida, E. C.; Departamento de Informática, Centro Politécnico, Rua Cel. Francisco H. dos Santos, 100, Jardim das Americas - Curitiba PR, CEP 81531-980, Brazil
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Baudry, B.; IRISA Rennes, Campus Universitaire de Beaulieu, 263 Avenue du Général Leclerc, CS 74205, 35042 Rennes cedex, France
Jézéquel, J.-M.; IRISA Rennes, Campus Universitaire de Beaulieu, 263 Avenue du Général Leclerc, CS 74205, 35042 Rennes cedex, France
External co-authors :
yes
Language :
English
Title :
Model-based testing of global properties on large-scale distributed systems