Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Abdelkader Dekdouk »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Abdelkader Benyettou < Abdelkader Dekdouk < Abdelkader El Hasnaoui  Facettes :

List of bibliographic references indexed by Abdelkader Dekdouk

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
00B776 (1997) Abdelkader Dekdouk ; Paul Kaboré ; André SchaffQuelques réflexions sur la prise en compte des aspects tests et temps lors de la construction de spécifications
00B846 (1997) Abdelkader DekdoukModèles algébriques pour le parallélisme vrai et raffinement d'actions
00C201 (1995) Abdelkader Dekdouk ; A. SchaffLe développement hiérarchique de spécifications de processus algébriques temporisés en utilisant la technique du raffinement syntaxique
00C314 (1995) Abdelkader Dekdouk ; A. SchaffA Complete Axiomatization of Timed Bisimulation over Finite Timed LOTOS Behaviours
00C406 (1995) Abdelkader Dekdouk ; A. SchaffAn Operational and Algebraic Semantics of a Timed LOTOS
00CC04 (1994) Abdelkader Dekdouk ; N. El Cadi ; J.-M. Hufflen ; P. Kaboré ; T. Lambolais ; N. Lévy ; A. Schaff ; J. SouquièresAide à la contruction et à la réutilisation de spécifications formelles

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Abdelkader Dekdouk" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Abdelkader Dekdouk" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Abdelkader Dekdouk
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022