A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.

Christina Chrysovalanti Fountoukidou Maria Pittou

Published in: CAI (2022)

Keyphrases

formal model
information retrieval
computer vision
genetic algorithm
decision making
multimedia
formal specification
statistical modeling
formal analysis
formal models
algebraic expressions