Formal Modeling and Analysis of Apache Kafka in Alloy 6.

Saloni Sinha Eunsuk Kang

Published in: ABZ (2024)

Keyphrases

data analysis
open source
quantitative analysis
statistical analysis
case study
database
information retrieval
image sequences
expert systems
formal analysis
structural analysis
predictive modeling