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 metadata
https://hal.inria.fr/inria-00098874
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:39:43 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098874, version 1

Collections

CNRS | INRIA | CRAN | 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 Datacite

Share

Metrics

Record views

76

 

Contact                    Legal Notice                    Personal Data