Validating multiple variants of an automotive light system with Alloy 6 Artigo Académico

https://doi.org/10.1007/s10009-024-00752-3

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Manuel Alcino Pereira da Cunha
Macedo, Nuno
Chong Liu

data de publicação

maio 2024

publicada em

International Journal on Software Tools for Technology Transfer Revista