Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time

Authors:
Jean-François Raskin;Pierre-Yves Schobbens
Affiliations:
-;-
Venue:
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Year:
1997

Citing 0
Cited 3

Robustness of temporal logic specifications for continuous-time signals

Theoretical Computer Science
Symbolic model checking of finite precision timed automata

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Algorithms for monitoring real-time properties

RV'11 Proceedings of the Second international conference on Runtime verification

Quantified Score

Hi-index	0.00

Visualization

Abstract