Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Auteurs » - entrée « A. Schaff »
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.
A. Savey < A. Schaff < A. Schaff.  Facettes :

List of bibliographic references indexed by A. Schaff

Number of relevant bibliographic references: 27.
[0-20] [0 - 20][0 - 27][20-26][20-40]
Ident.Authors (with country if any)Title
00C177 (1995) A. Schaff ; L. AndreyGrammaires attribuées et protocoles
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
00C237 (1995) O. Festor ; A. SchaffComportement des objets gérés : une approche formelle
00C314 (1995) Abdelkader Dekdouk ; A. SchaffA Complete Axiomatization of Timed Bisimulation over Finite Timed LOTOS Behaviours
00C359 (1995) L. Andrey ; A. SchaffDescription and Prototyping of OSI Protocol Entities using Attribute Grammars
00C406 (1995) Abdelkader Dekdouk ; A. SchaffAn Operational and Algebraic Semantics of a Timed LOTOS
00C522 (1995) A. Dekdouk ; A. SchaffTowards an Algebraic Semantics of a Timed LOTOS
00C884 (1994) P. Kaboré ; A. SchaffDu test de conformité des systèmes d'administration de réseaux
00C886 (1994) P. Kaboré ; A. SchaffObjets de gestion de réseaux : une approche de test de conformité
00C897 (1994) A. SchaffDe la spécification au test de protocoles dans les réseaux d'ordinateurs
00C939 (1994) P. Kaboré ; A. Schaff ; J. SouquièresAide à la construction et à la réutilisation de spécifications formelles
00CA17 (1994) P. Kaboré ; A. SchaffOSI Management Conformance Testing : an Approach for Managed Objects
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
00CE28 (1993) P. Kaboré ; A. SchaffArchitectures et sélection de tests pour les protocoles de communication
00CE50 (1993) P. Kaboré ; A. SchaffCouverture de fautes dans le test de protocoles
00CF93 (1993) O. Festor ; A. Schaff ; J.-M. Schneider ; G. Z NtleinSpécification formelle du protocole de traitement transactionnel (OSI TP) en CRS
00D729 (1991) L. Andrey ; A. SchaffTraduction sous UNIX d'une spécification ESTELLE : principes généraux
00D816 (1991) L. Andrey ; A. SchaffGrammaires attribuées et protocoles de communication
00D891 (1991) A. Schaff ; O. Festor ; J. Schneider ; G. ZorntleinThe Standards Environment for Distributed Transaction Processing (TP) ; An Overview
00DB26 (1990) A. SchaffLes erreurs dans les protocoles de communication : analyse et synthèse
00DC80 (1990) A. SchaffSyntaxe abstraite numéro 1 (ou ASN1) : notation et codage

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 "A. Schaff" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "A. Schaff" \
         | 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é=    A. Schaff
}}
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