Category semantics for fusion and refinement of multi-sorted specifications.
Jerzy TomasikJerzy WeymanPublished in: FUSION (2006)
Keyphrases
- specification language
- operational semantics
- logic programming
- information fusion
- formal semantics
- database
- attribute grammars
- control flow
- fusion method
- data sets
- formal specification
- multi sensor
- multiple features
- image fusion
- functional requirements
- data fusion
- data model
- sensor fusion
- multiscale
- formal language
- reactive systems
- refinement process
- neural network