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 : advanced lectures
M. Bernardo (Editor), E.P. Vink, de (Editor), A. Di Pierro (Editor), H. Wiklicky (Editor)
Dive into the research topics of '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 : advanced lectures'. Together they form a unique fingerprint.