Generation of Signals Under Temporal Constraints for CPS Testing.
Benoît BarbotNicolas BassetThao DangPublished in: NFM (2019)
Keyphrases
- temporal constraints
- temporal reasoning
- simple temporal
- constraint propagation
- temporal constraint networks
- constraint reasoning
- temporal information
- workflow systems
- resource constraints
- global consistency
- consistency checking
- clinical guidelines
- temporal aspects
- temporal events
- search algorithm
- temporal knowledge
- incremental algorithms
- temporal patterns
- functional dependencies
- object oriented