MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Real-Time Mode-Machines." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Mode-Automata: About Modes and States for Reactive Systems
by Florence Maraninchi, Yann Rémond — 1998 — In European Symposium On Programming
…, and defines Real-Time Mode-Machines, which describe exhaustive but not necessarily exclusive modes (see more…
Cited by 29 (3 self) – Add To MetaCart

Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Automata)
by Florence Maraninchi, Yann Rémond — 2000 — Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems
…], the "state" Design pattern [GHJV95], real-time mode-machines [Pay96], SignalGTI [RM95], etc.) The family…
Cited by 4 (0 self) – Add To MetaCart

Running Modes in a Dataflow Language: Mode-Automata and their Implementation
by Florence Maraninchi, Yann Rémond, and Yannick Raoul, Yannick Raoul — 1998
… of mode closest to ours seems to be that of Real-time mode-machines described in [Pay96]. In this paper…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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