Logical foundations of cyber-physical systems
Auteur :
Platzer, André
Éditeur :
Springer International Publishing AG
ISBN :
9783319635873
Date de publication :
11 août 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.