Modélisation d'applications temps réel reparties pour la validation de propriétés temporelles méthodologie de construction de modèles et algorithmes de validation

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

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

Identifiers

  • HAL Id : tel-01751391, version 1

Collections

Citation

Joël Toussaint. Modélisation d'applications temps réel reparties pour la validation de propriétés temporelles méthodologie de construction de modèles et algorithmes de validation. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1997. Français. ⟨NNT : 1997INPL114N⟩. ⟨tel-01751391⟩

Share

Metrics

Record views

14