Sdl2pml - Tool for automated generation of Promela model from SDL specification.
Aleksander VrezeBostjan VlaovicZmago BrezocnikPublished in: Comput. Stand. Interfaces (2009)
Keyphrases
- computational model
- conceptual model
- metamodel
- data sets
- experimental data
- probabilistic model
- management system
- theoretical framework
- statistical model
- high level
- simulation model
- prediction model
- cost function
- parameter estimation
- objective function
- mathematical model
- hierarchical structure
- case study
- machine learning