Compositional Approximately Bisimilar Abstractions of Interconnected Systems.

Belamfedel Alaoui Sadek Saharsh Pushpak Jagtap Adnane Saoud

Published in: CoRR (2022)

Keyphrases

distributed systems
systems require
information systems
intelligent systems
data structure
complex systems
special case
trade off
expert systems
digital libraries
database
face recognition
web services
multimedia
image processing
decision making
artificial intelligence
neural network