Validation of Service Blueprint Models by Means of Formal Simulation Techniques.

Montserrat Estaol, Esperanza Marcos, Xavier Oriol, Francisco J. Prez-Blanco, Ernest Teniente, Juan M. Vara

Browse the full ICSOC paper archive.