| | Applying Formal Methods Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science) by Key Pousttchi, Fernando Rubio, Zakaaria Nunez Maamar, Fernando Pelayo, Manuel Nunez, Zakaria Maamar, Fernando L. Pelayo, Manuel Nnez, Manuel Nãºnez Paperback, 379 Pages, Published 2004 by Springer ISBN-13: 978-3-540-23169-1, ISBN: 3-540-23169-2
"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: - T ..."
|