A refinement checking based strategy for component-based systems evolution.

José Dihego Augusto Sampaio Marcel Oliveira

Published in: CoRR (2020)

Keyphrases

bayesian networks
management system
distributed systems
information systems
website
multi agent systems
digital libraries
complex systems
biometric systems