Towards Formal Analysis of Vehicle Platoons Using Actor Model.

Zeinab Sharifi Ramtin Khosravi Marjan Sirjani Ehsan Khamespanah

Published in: ETFA (2020)

Keyphrases

formal analysis
mathematical model
experimental data
real time
high level
process model
case study
objective function
probabilistic model
software engineering
low cost
statistical model
formal model
metamodel