Checking MSC Specifications for Timing Inconsistency.
Xuandong LiWenkai TanGuoliang ZhengPublished in: J. Comput. Sci. Technol. (2002)
Keyphrases
- integrity checking
- asynchronous circuits
- integrity constraints
- high level
- information systems
- deductive databases
- delay insensitive
- functional requirements
- formal specification
- multi agent systems
- written in natural language
- relational databases
- expert systems
- database
- multiscale
- database systems
- decision trees
- web services
- learning algorithm
- neural network
- databases