EAN: 9783658099930

FORMAL MODELING AND VERIFICATION OF CYBER-PHYSI...

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the
Design of Digital Systems  2015  held in Bremen  Germany. The topic of the summer school was
devoted to modeling and verification of cyber-physical systems. This covers several aspects of
the field  including hybrid systems and model checking  as well as applications in robotics and
aerospace systems. The main chapters have been written by leading scientists  who present their
field of research  each providing references to introductory material as well as latest
scientific advances and future research directions. This is complemented by short papers
submitted by the participating PhD students.

Aktuelle Preise zur EAN 9783658099930

Produktinformationen zur 9783658099930