Formalising Executable Specifications of Low-Level Systems.
Paolo TorriniDavid NowakNarjes JomaaMohamed Sami CherifPublished in: VSTTE (2018)
Keyphrases
- low level
- high level
- databases
- formal specification
- higher level
- knowledge based systems
- building blocks
- distributed systems
- database systems
- expert systems
- hidden markov models
- control flow
- reactive systems
- asynchronous circuits
- decision trees
- finite state machines
- data flow
- lower level
- visual information
- complex systems
- learning systems
- image segmentation
- data sets
- computer systems
- intelligent systems
- image sequences