Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL

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

https://hal.univ-lorraine.fr/tel-01751846
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:28:02 PM
Last modification on : Monday, April 16, 2018 - 10:41:28 AM

Identifiers

  • HAL Id : tel-01751846, version 1

Collections

Citation

Abdelillah Mokkedem. Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL. Autre. Institut National Polytechnique de Lorraine, 1994. Français. ⟨NNT : 1994INPL051N⟩. ⟨tel-01751846⟩

Share

Metrics

Record views

1