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
 

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