TimeLine Depiction: an approach to graphical notation for supporting temporal property specification.
Chun-Ok SinYong-Sok KimPublished in: Innov. Syst. Softw. Eng. (2023)
Keyphrases
- temporal ordering
- spatial and temporal
- temporal information
- temporal reasoning
- spatio temporal
- temporal data
- temporal constraints
- space time
- temporal patterns
- formal specification
- temporal consistency
- linear temporal logic
- decision support
- data warehouse
- graphical representation
- formal methods
- temporal correlation
- formal verification
- temporal analysis
- high level