Bernardo, Marco.

Overview

Works:	1 works in 3 publications in 1 languages

Titles

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures/ by: Bernardo, Marco.; Bogliolo, Alessandro.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2005 :) (Language materials, printed)

Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: Bernardo, Marco.; Inverardi, Paola.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication and Software Systems (2003 :) (Language materials, printed)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures/ by: Bernardo, Marco.; Degano, Pierpaolo, (1950-); Zavattaro, Gianluigi.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2008 :) (Language materials, printed)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures/ by: Bernardo, Marco.; Padovani, Luca.; Zavattaro, Gianluigi.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2009 :) (Language materials, printed)

A process algebraic approach to software architecture design by: Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service); Aldini, Alessandro. (Language materials, printed)

Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / by: Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 :) (Language materials, printed)

Subjects