Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013

Б3.5, Б2.2.

Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013Ed. by Bernardo M., De Vink E., Di Pierro A., Wiklicky H..-Berlin.: Springer, 2013.-Vol. 7938.-181 p.-(Lecture Notes in Computer Science).