[PDF][PDF] Verification of inter-dependent interfaces in component-based architectures

BJ Hilbrands - 2022 - akesson.nl
To manage the complexity of systems, they can be developed as component-based
systems. Here, the system is divided into modular, reusable components that abstract …