On-Line Test Vector Generation from Temporal Constraints Written in PSL.
Yann OddosKatell Morin-AlloryDominique BorrionePublished in: VLSI-SoC (2006)
Keyphrases
- temporal constraints
- temporal reasoning
- constraint propagation
- simple temporal
- temporal constraint networks
- temporal information
- resource constraints
- constraint reasoning
- clinical guidelines
- functional dependencies
- workflow systems
- temporal planning
- global consistency
- temporal aspects
- consistency checking
- temporal knowledge
- interval algebra
- qualitative and quantitative
- constraint satisfaction problems
- computer vision
- temporal patterns