O. Roux, V. Rusu, Translating from GRAFCET to the reactive language ELECTRE, Automatique, Productique et Informatique Industrielle, 28(2):131-158, 1994. (détails)
Conferences internationales
C. Jard, T. Jéron, Formal Analysis of Distributed Computations, in (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France, Gv. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (eds.), Décembre 1994. (détails)
C. Jard, T. Jéron, G.-V. Jourdan, J.-X. Rampon, A General Approach to Trace Checking in Distributed Computing Systems, in 14th International Conference on Distributed Computing Systems, Poznan, Pologne, Pages 396-403, Juin 1994. (détails)
T. Jéron, C. Jard, 3D Layout of Reachability Graphs of Communicating Processes, in Graph Drawing'94, DIMACS Workshop, Princeton, New-Jersey, Volume 894, Pages 25-33, Octobre 1994. (détails) download
Rapport de recherche
T. Jéron, C. Jard, 3D Layout of Reachability Graphs of Communicating Processes, Rapport de recherche IRISA, No 852, 1994. (détails) download
H. Marchand, M. Le Borgne, Typage des graphes de décisions ternaires, Rapport de recherche Irisa, No 797, Mars 1994. (détails)
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page has been automatically generated using the bib2html program.
