Testing for unboundedness of fifo channelsJERON, T; JARD, C.Theoretical computer science. 1993, Vol 113, Num 1, pp 93-117, issn 0304-3975Conference Paper

Concurrency model for distributed systemsKIM, M; CHANSON, S. T; VUONG, S. T et al.Journal of parallel and distributed computing (Print). 1999, Vol 59, Num 3, pp 445-464, issn 0743-7315Article

Les canaux cachés dans les protocoles réseaux = Covert Channels in Network ProtocolsBergeon, Yves; Rolin, P.1996, 149 p.Thesis

Conception de services et de protocoles pour la gestion de groupes coopératifs = Conception of services and protocols for managing cooperative groupsVillemur, Thierry; Diaz, M.1995, 166 p.Thesis

A test design methodology for protocol testingSARIKAYA, B; BOCHMANN, G. V; CERNY, E et al.IEEE transactions on software engineering. 1987, Vol 13, Num 5, pp 518-531, issn 0098-5589Article

Architecture de transport multimédia à connexions d'ordre partiel = Multimedia partial order transport architectureChassot, Christophe; Diaz, M.1995, 154 p.Thesis

Contribution à la modélisation qualitative et quantitative des protocoles de communication: application au protocole XTP = Contribution to the methodology of qualitative and quantitative modeling of communication protocols: application to the XTP protocolAlkhechi, Ahmad Bassel; Budkowski, S.1994, 174 p.Thesis

On the use of Estelle in the OSI frameworkLOMBARDO, A; MORZENTI, A; PALAZZO, S et al.Computer standards & interfaces. 1989, Vol 9, Num 1, pp 21-23, issn 0920-5489Article

Hardware/software codesign in the Estelle and VHDL environmentsBOUJARWAH, A; AHMAD, I; SALEH, K et al.Computer standards & interfaces. 1995, Vol 17, Num 3, pp 253-276, issn 0920-5489Article

Formal methods for broadband and multimedia systems : Trends in formal description techniquesFISCHER, S; LEUE, S.Computer networks and ISDN systems. 1998, Vol 30, Num 9-10, pp 865-899, issn 0169-7552Article

Estelle formal specification of ISO virtual terminalAMER, P. D; CECELI, F.Computer standards & interfaces. 1989, Vol 9, Num 2, pp 87-104, issn 0920-5489, 18 p.Article

Formal specification of an information gateway service interface in EstelleKASSEM SALEH; HASAN URAL.Computer standards & interfaces. 1994, Vol 16, Num 4, pp 341-368, issn 0920-5489Article

Florian : l'atelier du poèteDUBU, J.Cahiers Roucher - André Chénier. 1988, Num 8, pp 61-77Conference Paper

A medical librarian's progressBRAUDE, R. M.Bulletin of the Medical Library Association. 1998, Vol 86, Num 2, pp 157-165, issn 0025-7338Article

Rapport technique de fin de projet réalisation d'un outil intégré de validation de protocoles de communication Veda-Xesar = Final technical report for the production of an integral tool for verification of the Veda-Xesar communication protocolsDoldi, Laurent; Groz, Roland; Lejeune, Yves et al.1991, 129 p.Report

Automatisation des méthodes de diagnostic pour le contrôle par courants de Foucault des tubes de générateur de vapeur = Automation of diagnostic methods for steam generator tube inspections by eddy currentMEURGEY, P; BAUMAIRE, A.Revue générale nucléaire. 1990, Num 3, pp 209-213, issn 0335-5004Article

Some comments on «transition-oriented» versus «structured» specification of distributed algorithms and protocolsBOCHMANN, G. V; VERJUS, J. P.IEEE transactions on software engineering. 1987, Vol 13, Num 4, pp 501-505, issn 0098-5589Article

ESTELLE: un langage ISO pour les algorithmes distribués et les protocoles; ESTELLE: an ISO language for distributed algorithms and protocols = ESTELLE: an ISO language for distributed algorithms and protocolsCOURTIAT, Jean-Pierre; DEMBINSKI, Piotr; GROZ, Roland et al.Rapports de recherche - INRIA. 1986, Vol 595, issn 0249-6399, 22 p.Report

Uncovering ISO ROSE protocol errors using EstelleJIRACHIEFPATTANA, A; LAI, R.Computer standards & interfaces. 1995, Vol 17, Num 5-6, pp 559-583, issn 0920-5489Article

Pierre Janet's Addition to Charles-Hubert-Antoine Despine's Old but Very Curious Estelle L'Hardy MonographKOEPKE BROWN, Carole.Journal of trauma & dissociation. 2008, Vol 9, Num 3, pp 389-409, issn 1529-9732, 21 p.Article

An experience in using EDT to process the ISO Transaction Processing Estelle specificationLAI, R.The Journal of systems and software. 1997, Vol 36, Num 2, pp 137-145, issn 0164-1212Article