Using formal reasoning on a model of tasks for FreeRTOS.
Shu ChengJim WoodcockDeepak D'SouzaPublished in: Formal Aspects Comput. (2015)
Keyphrases
- formal model
- genetic algorithm
- high level
- model construction
- conceptual model
- theoretical framework
- computational model
- logical reasoning
- adaptation process
- formal models
- prediction model
- statistical model
- theoretical analysis
- graphical models
- probabilistic model
- mobile robot
- prior knowledge
- multiscale
- learning algorithm