Configuration logics: Modeling architecture styles.

Anastasia Mavridou Eduard Baranov Simon Bliudze Joseph Sifakis

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

Keyphrases

real time
management system
machine learning
multi agent
software architecture
modal logic
modeling method
artificial intelligence
database systems
expert systems
colored petri nets