Checking Deadlock-Freedom of Parametric Component-Based Systems.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: TACAS (2) (2019)

Keyphrases

software systems
software components
databases
learning algorithm
management system
decision making
objective function
complex systems
data mining
machine learning
computer vision
website
case study