Modeling and analysing Cyber-Physical Systems in HOL-CSP.

Paolo Crisafulli Safouan Taha Burkhart Wolff

Published in: Robotics Auton. Syst. (2023)

Keyphrases

cyber physical systems
constraint satisfaction problems
cyber physical
artificial intelligence
cyber security
real time
information systems
low cost