Skip to Main content Skip to Navigation
New interface
Theses

Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation

Abstract : Not available
Document type :
Theses
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01747881
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 11:12:10 AM
Last modification on : Monday, May 17, 2021 - 1:04:16 PM

Intranet access

Identifiers

  • HAL Id : tel-01747881, version 1

Collections

Citation

Honoré Tchuenkam Tchoneng. Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers : abstraction, spécification, synthèse et optimisation. Autre. Université Henri Poincaré - Nancy 1, 1991. Français. ⟨NNT : 1991NAN10413⟩. ⟨tel-01747881⟩

Share

Metrics

Record views

11