Checking Deadlock-Freedom of Parametric Component-Based Systems.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: CoRR (2018)

Keyphrases

computer systems
genetic algorithm
multi agent systems
intelligent systems
data mining
information systems
image sequences
objective function
learning environment
expert systems
multiresolution
management system
embedded systems