Validating multiple variants of an automotive light system with Alloy 6
Crossref DOI link: https://doi.org/10.1007/s10009-024-00752-3
Published Online: 2024-05-23
Published Print: 2024-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cunha, Alcino
Macedo, Nuno
Liu, Chong
Funding for this research was provided by:
Universidade do Minho
Text and Data Mining valid from 2024-05-23
Version of Record valid from 2024-05-23
Article History
Accepted: 29 April 2024
First Online: 23 May 2024