Executable Specification of Novel Display Controllers.
David Antonio-TorresPaul F. NewburyPaul F. ListerPublished in: FDL (2005)
Keyphrases
- formal specification
- attribute grammars
- control system
- high level
- real time
- process algebra
- control flow
- specification language
- model checking
- reinforcement learning
- data flow
- public displays
- impedance control
- iterative learning control
- touch screen
- multi touch
- reverse engineering
- user defined
- programming language
- knowledge base
- data sets