A correct-by-construction model for asynchronously communicating systems.
Farah ZoubeyrYamine Aït AmeurMeriem OuederniAbdelkamel TariPublished in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
- conceptual model
- machine learning
- real time
- network model
- experimental data
- statistical model
- computational model
- intelligent systems
- management system
- probabilistic model
- evolutionary algorithm
- expert systems
- database
- hidden markov models
- cost function
- artificial neural networks
- computer vision
- data mining
- neural network model