Formal Modeling and Initial Analysis of the 4SECURail Case Study.

Franco Mazzanti Dimitri Belli

Published in: MARS@ETAPS (2022)

Keyphrases

case study
statistical modeling
data analysis
quantitative analysis
structural analysis
automatic analysis
image analysis
mathematical modeling
neural network
formal model
statistical analysis
control system
digital libraries
optimal solution
decision trees
metadata
machine learning