Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("ESTEREL")

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

Language

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

Author Country

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

Origin

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

Results 1 to 25 of 168

  • Page / 7
Export

Selection :

  • and

ASSOCIATION DES BIBLIOTHECAIRES DU QUEBEC. COMPTE RENDU DU CONGRES; ESTEREL, P.Q.; 1976.sd; S.L.; DA. S.D.; PP. 1-38Conference Paper

Gîtologie du filon de fluorite de l'Avellan, sa place dans le district fluobarytique provençalROSTAN, P; TURCO, G.Congrès National des sociétés savantes. 108. 1983, pp 53-61Conference Paper

Traduction structurelle des programmes ESTEREL en automate = Structural translation of the ESTEREL programs in automatonTANZI, Jean-Marc.1985, 121 pThesis

Mit offenen Augen und ein bisschen Glück. Mineralienstreifzung durch Südfrankreich = Les yeux grand ouverts et un peu de chance. Itinéraire minéralogique à travers le Sud de la FranceNEFF, W.1983, Vol 7, Num 12, pp 568-571, issn 0341-907XArticle

NEMATODES ET DEPERISSEMENTS DES MIMOSAS DANS LE MASSIF DE L'ESTERELHAMADENE S.1980; ; FRA; ANTIBES:INRA; DA. 1980; PP. 1-29; BIBL. 16 REF.; DEA BIOL. ANIM./ACADEMIE MONTPELLIER, UNIV. SCI. TECH. LANGUEDOC (FRA)/1980Thesis

Sémantique opérationnelle du langage synchrone ESTEREL = Operational semantics of the synchronous language ESTERELCOSSERAT, Laurent.1985, [127] fThesis

Systèmes réactifs et programmation synchrone = Reactive system and synchronous programmingBERRY, Gérard.Rapport de recherche I.N.R.I.A, ISSN: 0249-6399 ; 524. 1986, 2 p.Report

FLUORITE FROM THE FONT SANTE MINE, ESTEVEL, VAR, FRANCE.WILSON FA.1977; MINERAL. REC.; U.S.A.; DA. 1977; VOL. 8; NO 4; PP. 308-311; BIBL. 4 REF.; 8 ILL.Article

A framework for evaluating specification methods for reactive systems experience reportARDIS, M. A; CHAVES, J. A; JATEGAONKAR JAGADEESAN, L et al.IEEE transactions on software engineering. 1996, Vol 22, Num 6, pp 378-389, issn 0098-5589Conference Paper

Synchronous programming of reactive systems: an introduction to ESTEREL; Programmation synchrone des systèmes réactifs: une introduction à ESTERELBERRY, Gérard; COURONNE, Philippe; GONTHIER, Georges et al.Rapports de recherche - INRIA. 1987, Vol 647, issn 0249-6399, 22 p.Report

SUR LES POLYPHENOLS DES HELICHRYSUM DE FRANCE (ESTEREL-CORSE) ET DE YOUGOSLAVIE.CLAIR G; JULIA M; PARIS RR et al.1978; RIV. ITAL. ESSENZE PROFUMI PIANTE OFFICIN. ATOMI SAPONI COSMET. AEROSOL.; ITAL.; DA. 1978; VOL. 60; NO 3; PP. 125-127; BIBL. 13 REF.; (CONGR. OLI ESSENZIALI. 7. II; KYOTO; 1977)Conference Paper

Compilation séparée et exécution distribuée d'applications synchrones modulaires programmées en Esterel = Separate compilation and distributed execution of modular synchronous Esterel applicationsHainque, Olivier; Pautet, Laurent.2000, 216 p.Thesis

DESCRIPTION D'UNE PISTE DE VERTEBRE DANS LE PERMIEN DE L'ESTEREL (VAR, FRANCE)GAND G.1980; BULL. MUS. NATL. HIST. NAT., SECT. C, SCI. TERRE PALEONTOL. GEOL. MINER.; ISSN 0181-0642; FRA; DA. 1980 PUBL. 1981; VOL. 2; NO 4; PP. 436-451; BIBL. 20 REF.; 5 PLANCH. ; PL./ILL.Article

Génération Automatique d'Implémentation Optimisées de Protocoles = Automatic Generation of Optimized Protocol ImplementationsCastelluccia, Claude; Dabbous, Walid.1996, 186 p.Thesis

Une expérience d'utilisation des logiciels libres : le langage réactif synchrone Esterel : Les applications industrielles des logiciels libres = An experiment on using free software programs : the esterel reactive synchronous language : Industrial applications in free softwareROY, Valérie.REE. Revue de l'électricité et de l'électronique. 2005, Num 11, pp 83-88, issn 1265-6534, 6 p., 71 [7 p.]Article

The non-standard semantics of EsterelGAGNE, J.-R; PLAICE, J.Lecture notes in computer science. 1997, pp 381-382, issn 0302-9743, isbn 3-540-63875-XConference Paper

Une sémantique du langage ESTEREL; Semantics of the ESTEREL programming language = Semantics of the ESTEREL programming languageBOUSSINOT, Frédéric.Rapports de recherche - INRIA. 1986, Vol 577, issn 0249-6399, 16 p.Report

A reactive extension of C; Une extension réactive de CBOUSSINOT, Frédéric.Rapports de recherche - INRIA. 1989, Vol 1027, issn 0249-6399, 22 p.Report

ECOLOGIE DES MARES TEMPORAIRES DE L'ISOETION DANS LA CRAU ET L'ESTEREL, FRANCETERZIAN ELISABETH.1979; ; FRA; DA. 1979; 233 P.-PL.; 30 CM; BIBL. 11 P.; TH. 3E CYCLE: ZOOECOL., ECOL. MEDITERR./AIX-MARSEILLE 3/1979Thesis

Design of an automatic teller machine with Esterel studio : The cash-point (ATM) 'problem'DISSOUBRAY, Sylvan; DION, Bernard.Formal aspects of computing. 2000, Vol 12, Num 4, pp 233-236, issn 0934-5043Conference Paper

Paléogéographie alpine du sud-est de la France d'après les données traces de fission du socle cristallinMAILHE, D.Réunion annuelle des sciences de la terre. 1986, Vol 11, issn 0249-7557, 118Conference Paper

Transformations automatiques de spécifications sémantiques : application : un vérificateur de types = Automatic transformation of semantic descriptions. Application : an incremental type checkerHASCOET, Laurent; FRANCHI ZANETTACI, Paul.1987, 178 pThesis

LES DIACLASES: ESSAI D'ANALYSE GENERALE D'APRES DES AFFLEUREMENTS DU SUD-EST DE LA FRANCELACAVALERIE BENEDICT PIERRE.1979; ; FRA; DA. 1979; 2 VOL.; 30 CM; BIBL. 31 P.; TH. 3E CYCLE: GEOL. MINERAL., STRUCT. MATER. ECORCE TERR./NICE/1979; ILL./PL.Thesis

PALEOMAGNETISM OF THE ESTEREL ROCKS.ZIJDERVELD JDA.1977; DISSERT. ABSTR. INTERNATION., C; G.B.; DA. 1977; VOL. 38; NO 1; PP. 49Article

IL Y A 250 MILLIONS D'ANNEES... LES LITHOPHYSES DE L'ESTERELMARI G.1982; ANNALES DE LA SOCIETE DES SCIENCES NATURELLES ET D'ARCHEOLOGIE DE TOULON ET DU VAR; ISSN 0373-7039; FRA; DA. 1982; NO 34; PP. 123-137; BIBL. 1 P.; ESQUISSE/ILL.Article

  • Page / 7