Skip to Main content Skip to Navigation
Theses

Modélisation du développement de spécifications LOTOS

Abstract : Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/INPL_T_1997_LAMBOLAIS_T.pdf
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01751356
Contributor : Thèses Ul Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 1:17:32 PM
Last modification on : Tuesday, October 12, 2021 - 4:54:08 PM

Identifiers

  • HAL Id : tel-01751356, version 1

Collections

Citation

Thomas Lambolais. Modélisation du développement de spécifications LOTOS. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1997. Français. ⟨NNT : 1997INPL106N⟩. ⟨tel-01751356⟩

Share

Metrics

Record views

73