MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Time in State Machines." – sorted by Relevance.

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

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

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

ATOM

Time in State Machines
by Susanne Graf , Andreas Prinz — 2005
…Time in State Machines Susanne Graf Andreas Prinz Verimag 2, avenue de Vignate Grenoble, France…
Add To MetaCart

Hierarchical Communicating Real-Time State Machines
by Fortino Furfaro Nigro, G. Fortino, A. Furfaro, L. Nigro, F. Pupo — 2000
…) Hierarchical Communicating Real-Time State Machines G. Fortino, A. Furfaro, L. Nigro, F. Pupo Dipartimento di…
Add To MetaCart

On equivalence between Timed State Machines and Time Petri Nets
by Françoise Simonot-Lion, Joel Toussaint, Unit De Recherche Inria Lorraine, Petri Nets, Stefan Haar, Stefan Haar, Laurent Kaiser, Laurent Kaiser, Joel — 2000
… RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On equivalence between Timed State Machines and Time Petri Nets…
Add To MetaCart

An Automatic Verification Technique for Communicating Real-Time State Machines
by Sitaram C. V. Raju — 1993
…An Automatic Verification Technique for Communicating Real-Time State Machines 3 Sitaram C. V…
Cited by 6 (1 self) – Add To MetaCart

A toolset in Java 2 for modeling, prototyping and implementing Communicating Real-Time State
by Giancarlo Fortino, Libero Nigro — 2000 — Microprocessors and Microsystems, March
… on Communicating Real-Time State Machines (CRSM’s) as the specification language, and on a customisable actor…
Cited by 2 (2 self) – Add To MetaCart

Prototyping Distributed Multimedia Systems Using Communicating Real-Time State Machines
by Giancarlo Fortino, Libero Nigro — 2000 — Proc. of Euromicro Conference on Real Time Systems (ECRTS’2000
…Prototyping Distributed Multimedia Systems using Communicating Real-Time State Machines Giancarlo…
Cited by 1 (1 self) – Add To MetaCart

A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State
by Sitaram C. V. Raju, Alan C. Shaw — 1994 — Software-Practice and Experience
… for Specifying, Executing and Checking Communicating Real-Time State Machines sitaram c. v. raju and alan c. shaw…
Cited by 18 (5 self) – Add To MetaCart

Model Checking - Timed UML State Machines and Collaborations
by Alexander Knapp, Stephan Merz, Christopher Rauh — 2002 — 7th Intl. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002), volume 2469 of Lecture Notes in Computer Science
…Model Checking Timed UML State Machines and Collaborations Alexander Knapp 1 , Stephan Merz 1…
Cited by 35 (1 self) – Add To MetaCart

Verification and Improvement of the Sliding Window Protocol
by Dmitri Chkliaev, Jozef Hooman, Erik de Vink — 2003
… by a timed state machine in the language of the verication system PVS. This allows a mechanical check…
Cited by 16 (0 self) – Add To MetaCart

State-Machine Versus Trace Modelling of Real-Time Reactive Systems
by C. J. Fidge, C. J. Fidge — 1998
… Queensland 4072 Australia TECHNICAL REPORT No. 96-15 State-machine versus trace modelling of real-time…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB