Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
- Chaima Boufaied
- , Maris Jukss
- , Domenico Bianculli
- , Lionel Claude Briand
- , Yago Isasi Parache
- University of Luxembourg
- University of Ottawa
- LuxSpace SARL
Research output: Contribution to journal › Article › peer-review