book chapterLecture notes in computer scienceJan 1, 2004Closed access

Monitoring Temporal Properties of Continuous Signals

OMOded MalerDNDejan Ničković

Verimag

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,193
total citations
FWCI
5.51
Percentile
100%
References
38
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Computer science
  • Property (philosophy)
  • Bounded function
  • Temporal logic
  • MATLAB
  • Algorithm
  • SIGNAL (programming language)
  • Theoretical computer science
No related works found for this paper.