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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: Journal of Systems and Software

Journal number: 174

Journal publisher: Elsevier BV

Published year: 2021

Published pages: 110881

DOI identifier: 10.1016/j.jss.2020.110881

ISSN: 0164-1212