Monitoring Temporal Properties of Continuous Signals
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Testing Conformance of Real-Time Applications by Automatic Generation of ObserversElectronic Notes in Theoretical Computer Science, 2005
- An Improved On-the-Fly Tableau Construction for a Real-Time Temporal LogicLecture Notes in Computer Science, 2003
- Reasoning with Temporal Logic on Truncated PathsLecture Notes in Computer Science, 2003
- The Temporal Logic SugarLecture Notes in Computer Science, 2001
- Systems and Software VerificationPublished by Springer Science and Business Media LLC ,2001
- An On-the-Fly Tableau Construction for a Real-Time Temporal LogicLecture Notes in Computer Science, 2000
- The Temporal Rover and the ATG RoverLecture Notes in Computer Science, 2000
- FoCs – Automatic Generation of Simulation Checkers from Formal SpecificationsLecture Notes in Computer Science, 2000
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Logics and models of real time: A surveyLecture Notes in Computer Science, 1992