Logical vs. behavioural specifications.
Nikola BenesUli FahrenbergJan KretínskýAxel LegayLouis-Marie TraonouezPublished in: Inf. Comput. (2020)
Keyphrases
- formal specification
- high level
- logical representation
- delay insensitive
- real world
- data mining
- machine learning
- logical reasoning
- specification language
- distributed systems
- logical operations
- logical properties
- logical formulas
- logical framework
- database
- knowledge representation
- data structure
- e learning
- information retrieval
- databases