Sign in
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