Static Checking Consistency of Temporal Requirements for Control Software.
Natalia Olegovna GaraninaDmitry KoznovPublished in: MEDI Workshops (2021)
Keyphrases
- control software
- consistency checking
- temporal consistency
- temporal constraints
- spatial and temporal
- spatio temporal
- temporal reasoning
- temporal information
- control system
- temporal data
- functional requirements
- mathematical model
- temporal patterns
- user requirements
- constraint networks
- path consistency
- space time
- interval algebra
- temporal ordering
- neural network