Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su
67,36 €
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.
Jetzt bei Ebay:
