Applying Formal Methods: Testing, Performance, and M/E-Co...
Núnez, Manuel / Maamar, Zakaaria / Rubio, Fernando / Pousttchi, Key / Pelayo, Fernando
This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Worksh...