Validating multiple variants of an automotive light system with Alloy 6.

Alcino Cunha Nuno Macedo Chong Liu

Published in: Int. J. Softw. Tools Technol. Transf. (2024)

Keyphrases

real time
information technology
multi class
real world
artificial intelligence
information systems
metadata
learning environment