InforLorV4, Crin, Checkpoint, indexItem, Author.i, A. Schaff

A. S. Goldstein < A. Schaff < A. Schaff.

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 27.
[0-20] [0 - 20][0 - 27][20-26][20-40]**** probable Xml problem ****

Ident.	Authors (with country if any)	Title
002990 (1995)	A. Schaff ; L. Andrey	Grammaires attribuées et protocoles
002A14 (1995)	Abdelkader Dekdouk ; A. Schaff	Le développement hiérarchique de spécifications de processus algébriques temporisés en utilisant la technique du raffinement syntaxique
002A50 (1995)	O. Festor ; A. Schaff	Comportement des objets gérés : une approche formelle
002B26 (1995)	Abdelkader Dekdouk ; A. Schaff	A Complete Axiomatization of Timed Bisimulation over Finite Timed LOTOS Behaviours
002B71 (1995)	L. Andrey ; A. Schaff	Description and Prototyping of OSI Protocol Entities using Attribute Grammars
002C18 (1995)	Abdelkader Dekdouk ; A. Schaff	An Operational and Algebraic Semantics of a Timed LOTOS
002D34 (1995)	A. Dekdouk ; A. Schaff	Towards an Algebraic Semantics of a Timed LOTOS
002E54 (1994)	P. Kaboré ; A. Schaff	Du test de conformité des systèmes d'administration de réseaux
002E56 (1994)	P. Kaboré ; A. Schaff	Objets de gestion de réseaux : une approche de test de conformité
002E67 (1994)	A. Schaff	De la spécification au test de protocoles dans les réseaux d'ordinateurs
002F08 (1994)	P. Kaboré ; A. Schaff ; J. Souquières	Aide à la construction et à la réutilisation de spécifications formelles
002F86 (1994)	P. Kaboré ; A. Schaff	OSI Management Conformance Testing : an Approach for Managed Objects
003173 (1994)	Abdelkader Dekdouk ; N. El Cadi ; J.-M. Hufflen ; P. Kaboré ; T. Lambolais ; N. Lévy ; A. Schaff ; J. Souquières	Aide à la contruction et à la réutilisation de spécifications formelles
003228 (1993)	P. Kaboré ; A. Schaff	Architectures et sélection de tests pour les protocoles de communication
003250 (1993)	P. Kaboré ; A. Schaff	Couverture de fautes dans le test de protocoles
003393