Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("ESTELLE")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 34

  • Page / 2

Export

Selection :

  • and

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

EASE : a software environment for automatic implementation of application protocolLAI, R; LO, A.Software, practice & experience. 1996, Vol 26, Num 1, pp 83-103, issn 0038-0644Article

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

Contribution aux méthodes d'implantation matérielle des protocoles de communication = Contribution to the Methods of Protocol Hardware ImplementationWytrfbowicz, Jacek; Budkowski, S.1995, 173 p.Thesis

Semi-automatic implementation of transport and session protocolsVON BOCHMANN, G.Computer standards & interfaces. 1986, Vol 5, Num 4, pp 343-349, issn 0920-5489Article

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

Annotation Dynamique pour l'Evaluation de Performance des Systèmes Spécifiés en Estelle = A Dynamic Annotation for Performance Evaluation of Systems Specified in EstelleHendaz, Mohammed; Budkowski, Stanislaw.1996, 150 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

Improving the efficiency of automated protocol implementation using EstelleGOTZHEIN, R; BREDEREKE, J; EFFELSBERG, W et al.Computer communications. 1996, Vol 19, Num 14, pp 1226-1235, issn 0140-3664Article

Contribution à la description formelle de protocolesCourtiat, Jean-Pierre; Diaz, Michel.1987, 241 p.Thesis

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

Two standards means problems: a case study on formal protocol descriptionsFANTECHI, A; GNESI, S; LANEVE, C et al.Computer standards & interfaces. 1989, Vol 9, Num 1, pp 11-19, issn 0920-5489Article

Peut-on trouver dans « Estelle » une préfiguration du roman régionaliste?BARRAL, M.Cahiers Roucher - André Chénier. 1988, Num 8, pp 103-119Conference Paper

Mise en oeuvre et tests de protocoles écrits en Estelle = Implementation and tests of communication protocols written in EstelleFAVREAU, Jean-Philippe.1986, 137 fThesis

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

  • Page / 2