2008

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, 200

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)



 

2013

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 17-22, 2013. Advanc

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)



 

2011

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-

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)



 

2014

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

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)

Cham : Springer, [2014]

 

2006

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

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)

Berlin ; New York : Springer, ©2006

 

2005

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

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy)



 

2012

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.

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)



 

2015

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, Ad

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)

Cham : Springer, 2015

 

2007

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy)



 

2016

Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, B

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16th : 2016 : Bertinoro, Italy)

Switzerland : Springer, 2016

 

2009

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 lect

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy)



 

2010

A process algebraic approach to software architecture design

Aldini, Alessandro.