Verification of railway network models with EVEREST.
João MartinsJosé M. FonsecaRafael CostaJosé Creissac CamposAlcino CunhaNuno MacedoJosé N. OliveiraPublished in: MoDELS (2022)
Keyphrases
- network model
- statistical models
- peer to peer
- complex systems
- network structure
- process model
- model checking
- fully connected
- database
- network topologies
- radial basis function network
- link prediction
- computational models
- network traffic
- model selection
- distributed systems
- probabilistic model
- prior knowledge
- artificial neural networks
- face recognition
- case study
- data sets