The Design and Regulation of Exchanges: A Formal Approach.

Mohit Garg Suneel Sarswat

Published in: FSTTCS (2022)

Keyphrases

design decisions
design methodology
optimal design
formal methods
databases
data mining
machine learning
case study
database systems
multi agent
knowledge based systems
formal model
conceptual framework