If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Publisher: Taylor and Francis Ltd

More about this publication?
Related content
Volume 42, Number 14, July 15, 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Editorial
pp. 2737-2739(3)

Favourites:Add to Favourites

The tool TINA - Construction of abstract state spaces for petri nets and time petri nets
pp. 2741-2756(16)
Authors: Berthomieu, B.; Ribet, P.-O.; Vernadat, F.

Favourites:Add to Favourites

A method for the verification of a distributed and synchronized algorithm
pp. 2757-2772(16)
Authors: Magniette, Frederic; Pilard, Laurence; Rozoy, Brigitte

Favourites:Add to Favourites

Analysing the PGM protocol with UPPAAL
pp. 2773-2791(19)
Authors: Bérard, Béatrice; Bouyer, Patricia; Petit, Antoine

Favourites:Add to Favourites

A fault-tolerant communication mechanism for cooperative robots
pp. 2793-2808(16)
Authors: Haddad, Joyce El; Haddad, Serge

Favourites:Add to Favourites

Ensuring the conformance of reactive discrete-event systems by means of supervisory control
pp. 2809-2826(18)
Authors: Jéron, Thierry; Marchand, Hervé; Rusu, Vlad; Tschaen, Valéry

Favourites:Add to Favourites

Supervisory control of marked graphs with partial observations
pp. 2827-2838(12)
Authors: Achour, Z.; Rezg, N.; Xie, X.

Favourites:Add to Favourites

Pragmatic approach for modular control synthesis and implementation
pp. 2839-2858(20)
Authors: Gouyon, D.; Petin, J. F.; Gouin, A.

Favourites:Add to Favourites

Algebraic approach for dependable logic control systems design
pp. 2859-2876(18)
Authors: Roussel, J. M.; Faure, J. M.; Lesage, J. J.; Medina, A.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more