Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedingshttps://catalogue-scientifique.canada.ca/record=2046604~S6*frcRechercher Frutos-Escrig, David de; Rechercher Núñez, Manuel, ProfesorSpringer, 2004, ISBN : 9783540232520Livre électroniqueTexte intégral en ligne
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedingshttps://catalogue-scientifique.canada.ca/record=2107876~S6*frcRechercher Bravetti, Mario; Rechercher Núñez, Manuel, Profesor; Rechercher Zavattaro, GianluigiSpringer, 2006Actes de conférence
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedingshttps://catalogue-scientifique.canada.ca/record=2045311~S6*frcRechercher Núñez, Manuel, ProfesorSpringer, 2004Actes de conférence