Local Reasoning about Parametric and Reconfigurable Component-based Systems.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: CoRR (2019)

Keyphrases

complex systems
information retrieval
distributed systems
data sets
databases
real world
decision making
multimedia
multi agent
data structure
low cost
software components