A Model for Synchronous Switching Circuits and its Theory of Correctness.
Zhou ChaochenC. A. R. HoarePublished in: Formal Methods Syst. Des. (1992)
Keyphrases
- formal model
- computational model
- theoretical framework
- probabilistic model
- theoretical analysis
- objective function
- mathematical models
- theoretical foundation
- statistical model
- prior knowledge
- parameter estimation
- mathematical framework
- conceptual framework
- conceptual model
- real time
- high speed
- evolutionary algorithm
- image sequences
- data sets