A Logic for Signal Inserted Timed Frames (1996)
Jan Bergstra, Wan Fokkink, Kees Middelburg
We propose a first-order predicate logic TFL of timed frames extended with signals. This logic combines a simple syntax with a high expressivity; it can distinguish frames that are not the same as...
A Logic for Signal Inserted Timed Frames (1996)
Jan Bergstra, Wan Fokkink, Kees Middelburg
We propose a first-order predicate logic TFL of timed frames extended with signals. This logic combines a simple syntax with a high expressivity; it can distinguish frames that are not the same as...