Unreachable States in Model-Oriented Specifications.
Robin A. NichollPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- high level
- mathematical model
- expert systems
- computational model
- specification language
- management system
- finite state machines
- network model
- formal model
- process model
- expectation maximization
- real time
- probability distribution
- cost function
- artificial neural networks
- image segmentation
- information systems
- neural network