TimeLine Depiction: an approach to graphical notation for supporting temporal property specification.

Chun-Ok Sin Yong-Sok Kim

Published 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