A Specification Theory of Real-Time Processes.
Chris ChiltonMarta Z. KwiatkowskaFaron MollerXu WangPublished in: Concurrency, Security, and Puzzles (2017)
Keyphrases
- real time
- high level
- computational models
- low cost
- data sets
- neural network
- general theory
- case study
- process model
- theoretical framework
- high speed
- vision system
- formal theory
- computational model
- object oriented
- programming language
- hidden markov models
- data acquisition
- conceptual model
- relational databases
- information theory
- theoretical basis
- specification language
- genetic algorithm
- real world
- asynchronous circuits