Automated generation of Promela model from SDL specification.
Bostjan VlaovicAleksander VrezeZmago BrezocnikTatjana KapusPublished in: Comput. Stand. Interfaces (2007)
Keyphrases
- computational model
- theoretical analysis
- high level
- formal model
- network model
- probabilistic model
- artificial intelligence
- semi automated
- conceptual model
- experimental data
- statistical model
- mathematical model
- management system
- cost function
- database
- objective function
- image sequences
- specification language
- state machine