Two examples of verification of multirate timed automata with Kronos

Publisher Website

19 November 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 66-75
https://doi.org/10.1109/real.1995.495197

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

A theory of timed automata
Published by Elsevier ,2002
The algorithmic analysis of hybrid systems
Theoretical Computer Science, 1995
Symbolic Model Checking for Real-Time Systems
Information and Computation, 1994
Model-Checking in Dense Real-Time
Information and Computation, 1993