Towards an Institutional Representation for the B Model Oriented Specification.
Amine AchouriYousra Bendaly HlaouiLeila Jemni Ben AyedPublished in: COMPSAC Workshops (2014)
Keyphrases
- high level
- computational model
- formal model
- experimental data
- prior knowledge
- neural network
- object recognition
- process model
- state machine
- temporal structure
- graph representation
- neural network model
- network structure
- mathematical model
- image representation
- management system
- multi agent
- similarity measure
- machine learning