An Extended Duration Calculus for Real-time Systems

@inproceedings{Chaochen1993AnED,
  title={An Extended Duration Calculus for Real-time Systems},
  author={Zhou Chaochen and Anders P. Ravn and Michael R. Hansen},
  year={1993}
}

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS

Formal Methods at the Crossroads. From Panacea to Foundational Support

  • Lecture Notes in Computer Science
  • 2003
VIEW 10 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

A duration calculus with neighborhood modalities

  • Journal of Applied Non-Classical Logics
  • 2010
VIEW 24 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Road Map of Interval Temporal Logics and Duration Calculi

  • Journal of Applied Non-Classical Logics
  • 2004
VIEW 1 EXCERPT
CITES METHODS