BACK TO INDEX
-
André Arnold.
An experience with MEC in a real industrial project.
1995.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold.
Finite transition systems,
Prentice-Hall.
1994.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold,
Didier Bégay,
and Paul Crubillé.
Construction and analysis of transition systems with MEC.
1994.
Keywords:
MEC.
[bibtex-entry]
-
Miguel Alabau,
Didier Bégay,
and Jean Pierre Radoux.
The embedded software on an electricity meter: An experience in using formal methods in an industrial project..
Science of Computer Programming,
28:93-110,
1997.
Keywords:
MEC.
[bibtex-entry]
-
Richard Castanet,
Alain Griffault,
Thierry Gaudré,
and François Rieunau.
Modélisation et vérification formelles d'un régulateur de vitesse.
Technique et Science Informatiques,
16-9:1165-1186,
1997.
Keywords:
MEC.
[bibtex-entry]
-
Bruno Marre,
André Arnold,
and Marie Claude Gaudel.
Une expérience de validation de spécification par des formalismes différents : le noeud de transit.
Technique et Science Informatiques,
16:677-699,
1997.
Keywords:
MEC.
[bibtex-entry]
-
Alain Griffault.
Description formelle d'un régulateur de vitesse.
In RenPar'8,
pages 197-200,
1996.
Keywords:
MEC.
[bibtex-entry]
-
Didier Bégay,
Jérôme Dormoy,
and Patrick Félix.
An experiment in developping Real-Time Software using Mec.
In First AMAST International Workshop on Real-Time Systems,
ed. T. Rus and C. Rattray,
1994.
Keywords:
MEC.
[bibtex-entry]
-
Alain Griffault.
Deux nouvelles techniques d'utilisation de Mec.
In Srecko Brlek, editor,
Bordeaux-Montréal Workshop -- Méthodes mathématiques pour la synthèse des systèmes informatiques -- BMW'94,
volume 15,
pages 143-157,
1994.
LACIM.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold and Srecko Brlek.
Conception d'un système de gestion des appels téléphoniques. Un exemple d'utilisation de méthodes formelles..
In CFIP'93,
Hermès, Paris,
pages 149-163,
1993.
Keywords:
MEC.
[bibtex-entry]
-
Patrick Félix and Alain Griffault.
Transformation de programmes CSP en systèmes de transitions.
In CFIP'93,
pages 509-523,
1993.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold.
Systèmes de transitions finis et sémantique des processus communicants.
In Masson, editor,
,
Masson,
1992.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold.
Modéliser et vérifier avec des systèmes de transitions.
In CFIP '91. Ingénierie des protocoles,
O. Rafiq,
pages 127-140,
1991.
Keywords:
MEC.
[bibtex-entry]
-
Alain Griffault.
Langages formels et sûreté de fonctionnement des systèmes critiques - Expertise du modèle Arnold-Nivat et de l'outil MEC.
Technical report,
1996.
Keywords:
MEC.
[bibtex-entry]
-
Alain Griffault and Annie Ressouche.
Synthesis of a rendez vous based scheduler.
Technical report,
1995.
Keywords:
MEC.
[bibtex-entry]
-
Jean Pierre Radoux.
Utilisation de systèmes de transitions finis pour la conception et le développement d'un système embarqué.
Technical report,
1995.
Keywords:
MEC.
[bibtex-entry]
-
André Arnold and Srecko Brlek.
Automatic verification of properties in transition system.
Technical report,
1994.
Keywords:
MEC.
[bibtex-entry]
-
Didier Bégay,
Paul Crubillé,
Jérôme Dormoy,
Patrick Félix,
Alain Griffault,
and Jean Pierre Radoux.
An experiment using Mec: Eurotri, physical layer protocol, implemented version.
Technical report,
1994.
Keywords:
MEC.
[bibtex-entry]
-
Didier Bégay.
Mec Hand Book.
Technical report,
1993.
Keywords:
MEC.
[bibtex-entry]
BACK TO INDEX
Disclaimer:
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 person copying this information are expected to adhere to
the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted
without the explicit permission of the copyright holder.
Les documents contenus dans ces répertoires sont rendus disponibles
par les auteurs qui y ont contribué en vue d'assurer la diffusion
à temps de travaux savants et techniques sur une base non-commerciale.
Les droits de copie et autres droits sont gardés par les auteurs
et par les détenteurs du copyright, en dépit du fait qu'ils présentent
ici leurs travaux sous forme électronique. Les personnes copiant ces
informations doivent adhérer aux termes et contraintes couverts par
le copyright de chaque auteur. Ces travaux ne peuvent pas être
rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
Last modified: Thu Jul 26 13:00:02 2007
Author: altarica.
This document was translated from BibTEX by
bibtex2html