MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Timed Transition Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

287 documents found, showing 1 through 10. Next 10 →

ATOM

Timed Transition Systems
by Thomas Henzinger, Zohar Manna, Amir Pnueli — 1992
…Timed Transition Systems 1 Thomas A. Henzinger Computer Science Department, Cornell University…
Cited by 73 (6 self) – Add To MetaCart

Minimization of Timed Transition Systems
by Rajeev Alur, Costas Courcoubetis, R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, H. Wong-toi — 1992
… Minimization of Timed Transition Systems R. Alur AT&T Bell Laboratories Murray Hill, New Jersey C…
Cited by 73 (5 self) – Add To MetaCart

An Embedding of Timed Transition Systems in HOL
by Rachel Cardell-oliver, Roger Hale, John Herbert — 1993 — In Formal Methods in System Design
…(1&2), Kluwer; 1993 An Embedding of Timed Transition Systems in HOL Rachel Cardell-Oliver, Roger Hale and John…
Cited by 2 (1 self) – Add To MetaCart

A Comparison of Additivity Axioms in Timed Transition Systems
by Alan Jeffrey, Alan Jeffrey, Steve Schneider, Steve Schneider, Frits Vaandrager, Frits Vaandrager — 1993
…UNIVERSITY OF SUSSEX COMPUTER SCIENCE A comparison of additivity axioms in timed transition systems…
Cited by 11 (4 self) – Add To MetaCart

Temporal Proof Methodologies for Timed Transition Systems
by Thomas A. Henzinger, Zohar Manna, Amir Pnueli — 1994 — Information and Computation
…Temporal Proof Methodologies for Timed Transition Systems 1;2 Thomas A. Henzinger Department…
Cited by 41 (8 self) – Add To MetaCart

Verifying Duration Properties of Timed Transition Systems
by Z. Liu, A. P. Ravn, X. Li — 1996 — In Proc. IFIP Working Conference PROCOMET'98. Chapman
…Verifying Duration Properties of Timed Transition Systems Z. Liu Department of Mathematics…
Cited by 7 (4 self) – Add To MetaCart

The cones and foci proof technique for timed transition systems
by M. B. van der Zwaag — Information Processing Letters
… Telefax +31 20 592 4199 The Cones and Foci Proof Technique for Timed Transition Systems Mark B. van der…
Cited by 8 (0 self) – Add To MetaCart

Reachability Analysis Of Timed Transition Systems Based On Constraint Evaluation
by Jörg Preußig, Stefan Kowalewski — 1996
…REACHABILITY ANALYSIS OF TIMED TRANSITION SYSTEMS BASED ON CONSTRAINT EVALUATION Jorg Preu…
Add To MetaCart

Time Scheduling of Transit Systems with Transfer Considerations Using Genetic Algorithms
by Kalyanmoy Deb Partha, Partha Chakroborty — 1998 — Evolutionary Computing
…Time Scheduling of Transit Systems with Transfer Considerations Using Genetic Algorithms Kalyanmoy…
Add To MetaCart

A Proposal for a Real-Time Extension of TTCN
by Thomas Walter, Jens Grabowski
…. The operational semantics of real-time TTCN is defined by means of timed transition systems. In timed transition…
Cited by 8 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB