ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
Nouvel éditeur en 2019
 

couverture du numéro

Modelling of Reactive Systems
sous la direction de Guy JUANOLE, Robert VALETTE, François VERNADAT
 LISTE DES ARTICLES POUR LE VOL 36/7 - 2002
Editorial  [GRATUIT]
- pp.887-888
Synchronous Programming Properties within a Reaction
Charles ANDRÉ, Robert DE SIMONE - pp.891-903
Safety Properties Verification of Ladder Diagram Programs
Jean-Marc ROUSSEL, Bruno DENIS - pp.905-917
Theory of Regions based Synthesis of the Maximally Permissive and non Blocking Supervisory Control
Asma GHAFFARI, Nidhal REZG, Xiaolan XIE - pp.919-930
On the Modelling of the Dynamical Behaviour of Weighted T-Systems
Benoît TROUILLET, Ahmer BENASSER, Jean-Claude GENTINA - pp.931-943
Optimal Routing in Several Deterministic Queues with Two Service Times
Bruno GAUJAL, Emmanuel HYON - pp.945-957
Hybrid Approximations for Continuous Systems
M. LEFEBVRE, Hervé GUÉGUEN, Jean BUISSON - pp.959-971
A T-time Petri Net Extension for Real-time Task Scheduling Modelling
Olivier Henri ROUX, Anne-Marie DÉPLANCHE - pp.973-985
Extracting Critical Scenarios from a Petri Net Model using Linear Logic
Hamid DEMMOU, Sarhane KHALFAOUI, Nicolas RIVIÈRE, Edwige GUILHEM - pp.987-999
Formal Method for Timed Tests Sequences Generation
Françoise SIMONOT-LION, Laurent KAISER, Ricardo SANTOS MARQUES - pp.1001-1013
An Operational Semantics for UML Interaction Sequencing of Actions and Local Control
- pp.1015-1028
UML and RT-LOTOS An Integration for Real-Time System Validation
Pierre DE SAQUI-SANNES, Ludovic APVRILLE, Christophe LOHR, Patrick SÉNAC, Jean-Pierre COURTIAT - pp.1029-1042
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier