Marco Bernardo

9 published titles

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,

(Contributor)

1 edition

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 : adv

(Contributor)

1 edition

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : adv

(Contributor)

1 edition

A process algebraic approach to software architecture design

(Contributor)

1 edition

Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-

(Contributor)

1 edition

Formal methods for model-driven engineering : 12th International School On Formal Methods For The Design Of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23 2012 :

(Contributor)

1 edition

Formal methods for dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 2013, advanced lect

(Contributor)

1 edition

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 201

(Contributor)

1 edition

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : a

(Contributor)

1 edition