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 / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covere...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
Other Authors:	Bernardo, Marco (Editor), Vink, Erik de (Editor), Di Pierro, Alessandra (Editor), Wiklicky, Herbert (Editor)
Other title:	SFM 2013.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2013.
Series:	Lecture notes in computer science ; 7938. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. System design > Congresses. Formal methods (Computer science) System design. Conference papers and proceedings.