Skip to Main content Skip to Navigation
New interface
Theses

Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique

Abstract : Non disponible / Not available
Document type :
Theses
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01753552
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 4:44:36 PM
Last modification on : Wednesday, August 31, 2022 - 2:51:37 PM

File

SCD_T_1996_0037_CHETALI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01753552, version 1

Collections

Citation

Boutheïna Chetali. Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique. Informatique [cs]. Université Henri Poincaré - Nancy 1, 1996. Français. ⟨NNT : 1996NAN10037⟩. ⟨tel-01753552⟩

Share

Metrics

Record views

38

Files downloads

82