Checking deadlock-freedom of parametric component-based systems.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

real time
real world
artificial intelligence
neural network
decision making
case study
expert systems
evolutionary algorithm
distributed systems
software development
computing systems
systems require