Publications 1995

Chapitres de livres

1. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten, Signal- the specification of a generic, verified production cell controller, in Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chapitre 7, Pages 115-129, Lecture Notes in Computer Science, Springer Verlag, Janvier 1995. (détails)

Conferences internationales

1. T. Jéron, Dessin en 3 dimensions de graphes d'accessibilité de processus communicants, in CFIP'95, Colloque Francophone sur l'Ingéniérie des Protocoles, Rennes, France, C. Jard, P. Rolin (eds.), Pages 373-386, Mai 1995. (détails) download
2. H. Marchand, E. Rutten, M. Samaan, Synchronous design of a transformer station controller in Signal, in Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, Septembre 1995. (détails)
3. Y.-M. Quemener, T. Jéron, Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars, in SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italie, A. Corradini, U. Montanari (eds.), Pages 64-74, Septembre 1995. (détails) download

Rapport de recherche

1. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten, The Signal data flow methodology applied to a production cell, Rapport de recherche Irisa, No 917, Mars 1995. (détails)
2. H. Marchand, E. Rutten, M. Samaan, Specifying and verifying a transformer station in Signal and Signalgti, Rapport de recherche Irisa, No 916, Mars 1995. (détails)
3. Y.-M. Quemener, T. Jéron, Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars, Rapport de recherche IRISA, No 927, 1995. (détails) download

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.