We present in this paper an operational semantics for the ELECTRE reactive language (Roux et al., 1992). This language is based on an asynchronous approach ...

We present in this paper an operational semantics for the ELECTRE reactive language. (Roux et al., 1992). This language is based on an asynchronous approach ...

Share on. Compilation of the ELECTRE reactive language into finite transition systems. Authors: Franck Cassez. Franck Cassez. View Profile. , Olivier Roux.

We present in this paper an operational semantics for the ELECTRE reactive language (Roux et al., 1992). This language is based on an asynchronous approach ...

TL;DR: A simple programming language, called Nemo, specific to the domain of multitask real-time control systems, such as in robotic, automotive, or avionics ...

2013. Compilation of the ELECTRE reactive language into finite transition systems. F Cassez, O Roux. Theoretical Computer Science 146 (1), 109-143, 1995. 49 ...

Our work intends to verify reactive systems with event memorization specied with the reactive language Electre. For this, we dene a particular behavioral model ...

Compilation of the ELECTRE reactive language into finite transition systems. F Cassez, O Roux. Theoretical Computer Science 146 (1), 109-143, 1995. 49, 1995.

Franck Cassez , Olivier F. Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. 109-143.

Jun 18, 2005 · Cassez and O. Roux. Compilation of the ELECTRE reactive language into finite transition systems. Theoretical Computer Science, 144, June 1995.