Login / Signup
Assessment of a Formal Requirements Modeling Approach on a Transportation System.
Steve Jeffrey Tueno Fotso
Régine Laleau
Marc Frappier
Amel Mammar
Francois Thibodeau
Mama Nsangou Mouchili
Published in:
ICFEM (2019)
Keyphrases
</>
modeling method
data mining
optimal solution
formal model
student modeling
database
multi agent systems
formal specification
real world
user requirements
modeling framework
formal methods
formal models
transportation systems