 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00100068v1
Communication dans un congrès
Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte. Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues 7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada. 2004 |
||
|
inria-00107797v1
Communication dans un congrès
Jean-François Aubry, Françoise Simonot-Lion. Approche pluridisciplinaire de la sûreté des systèmes 3ème Congrès International Pluridisciplinaire - QUALITA'99, 1999, Paris/France, 6 p, 1999 |
||
|
inria-00098406v1
Communication dans un congrès
Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley. Process control engineering: contribution to a formal structuring framework with the B method Didier Bert. The 2nd International B Conference, 1998, Montpellier, France. Springer Verlag, 1393, pp.198-209, 1998, Lecture Notes in Computer Science |
||
|
tel-00083042v1
Thèse
Jean Marcelo Simão. A Contribution to the Development of a HMS Simulation Tool and Proposition of a Meta-Model for Holonic Control Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I; Universidade Tecnológica Federal do Paraná; Centro Federal de Educação Tecnológica do Paraná, 2005. Portuguese |
||
|
inria-00100659v1
Communication dans un congrès
Mouna Benaissa, Vincent Lecuire, André Schaff. Impact du protocole de routage sur le contrôle de la gigue des flux audio dans les réseaux ad hoc Gestion de Réseaux et de Services - GRES'2001, Dec 2001, Marrakech, Maroc, 12 p, 2001 |
||
|
tel-00562037v1
Thèse
Hervé Panetto. Une contribution au Génie Automatique : le prototypage des machines et systèmes automatisés de production Automatique / Robotique. Université Henri Poincaré - Nancy I, 1991. Français |
||
|
inria-00098874v1
Communication dans un congrès
Patrick Lamboley, Jean-François Pétin, Dominique Méry. Towards a formal engineering framework for process automation Seventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, IEEE, 8 p, 1999 |
||
|
inria-00098619v1
Communication dans un congrès
Dominique Méry, Jean-François Pétin. Formal engineering methods for modelling and verification of control systems 9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC |
||
|
|
||