Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Crossref DOI link: https://doi.org/10.1007/978-3-319-77935-5_26
Published Online: 2018-03-11
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Narizzano, Massimo http://orcid.org/0000-0002-0268-4843
Pulina, Luca http://orcid.org/0000-0003-0258-3222
Tacchella, Armando http://orcid.org/0000-0001-9487-331X
Vuotto, Simone http://orcid.org/0000-0001-6617-2874
License valid from 2018-01-01