Formalisation et vérification de l'interopérabilité dans les systèmes de communication

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

https://hal.univ-lorraine.fr/tel-01751555
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:21:34 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:55 AM

Identifiers

  • HAL Id : tel-01751555, version 1

Collections

Citation

Mohand Lyazid Benkhellat. Formalisation et vérification de l'interopérabilité dans les systèmes de communication. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1995. Français. ⟨NNT : 1995INPL001N⟩. ⟨tel-01751555⟩

Share

Metrics

Record views

12