Sign in
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems.
Cinzia Bernardeschi
Andrea Domenici
Paolo Masci
Published in:
IEEE Trans. Software Eng. (2018)
Keyphrases
</>
control system
physical world
cyber physical systems
low cost