by Hähnle, Reiner, Schaefer, Ina, Johnsen, Einar Broch, Damiani, Ferruccio, Bernardo, Marco, International school on formal methods for the design of computer, communication and software systems, Bertinoro, Italie)
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 7th European Performance Engineering Workshop, EPEW 2010, held in Bertinoro, Italy, in September 2010. The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in…
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy), Bernardo, Marco, Issarny, Valérie
fromLecture Notes in Computer Science
by Bernardo, Marco, International school on formal methods for the design of computer, communication and software systems, Bertinoro, Italie), Issarny, Valérie
fromLecture Notes in Computer Science
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy), Bernardo, Marco, Issarny, Valérie
fromLecture Notes in Computer Science
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy), Bernardo, Marco, Issarny, Valérie, Springer-Verlag
fromLecture Notes in Computer Science / Programming and Softwar…
Annotation.
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy), Bernardo, Marco, Issarny, Valérie
fromLecture Notes in Computer Science
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal…
