Skip to Main content Skip to Navigation
Conference papers

Towards a formal engineering framework for process automation

Patrick Lamboley 1 Jean-François Pétin 1 Dominique Méry 2
1 CRAN - Centre de Recherche en Automatique de Nancy
2 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper describes an attempt towards a formal engineering framework for process automation aiming at facing the reusability of the engineering studies on industrial systems.
Keywords : process automation formal engineering b.
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00098874
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:39:43 AM
Last modification on : Friday, October 23, 2020 - 8:38:05 AM

Identifiers

  • HAL Id : inria-00098874, version 1

Collections

INRIA | CRAN | CNRS | UNIV-LORRAINE | LORIA

Citation

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, 8 p. ⟨inria-00098874⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

241

 

Contact                    Legal Notice                    Personal Data