Résultats de la recherche - "Formal methods."

Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Available for University of the Philippine Diliman via Springerlink. Click here to access

Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Teamwork in multi-agent systems a formal approach par Dunin-Kȩplicz, Barbara

Teamwork in multi-agent systems a formal approach par Dunin-Kȩplicz, Barbara, Verbrugge, Rineke

Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy

Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Process algebra for parallel and distributed processing

A formal data-model of the CORBA security service. par Basin, David

Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Computer performance engineering 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access