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

Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache. Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174:110881, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.