Specification of Real-Time and Hybrid Systems in Rewriting Logic (1999)

Cached

Download Links

by Peter Csaba Olveczky , Peter Csaba , José Meseguer
Citations:41 - 22 self

Active Bibliography

10 Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Ölveczky - 2000
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
4 Specifying Real-Time Systems in Rewriting Logic – Peter Csaba Ölveczky, José Meseguer - 1996
364 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
504 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
2014 A theory of timed automata – Rajeev Alur - 1999
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
455 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997