Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.

Chaima Boufaied Maris Jukss Domenico Bianculli Lionel Claude Briand Yago Isasi Parache

Published in: J. Syst. Softw. (2021)

Keyphrases

cyber physical systems

cyber physical

real time