Your search returned 21 results. Subscribe to this search

|
1. Articles A symbolic representation of asynchronous networks of synchronous processes [ [Texte imprimé]] / Robert de Simone, Amar BoualiPublication :ENSMP, 1998Description : 10 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.236 CCL.5742] (1).
2.  Monographies, textes Analyse de systèmes réactifs synchrones à des fins de vérification : Application au langage ESTEREL / Michel Bourdellès ; sous la dir. de Robert de SimonePublication :1999Description : 1 vol. (146 p.) : ill. ; 30 cmAvailability: Copies available for reference: Bib. Paris[EMP 147.609 CCL.TH.938] (2).
3.  Monographies, textes / C. André, A. Dessouche, J.M. TanziCombining special purpose and general purpose languages in real-time programming, C. André, A. Dessouche, J.M. TanziPublication :ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.230 CCL.5742] (1).
4. Thèses Compilation du langage Esterel en systèmes d'équations booléennes / {F. Mignard}Publication :Sophia-Antipolis : ENSMP, 1994Description : 238 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 142.928 CCL.TH.783] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0033] (1).
5. Thèses Construction et simulation graphiques de comportements [Texte imprimé] : le modèle des Icobjs / par Christian Brunette ; sous la dir. de Frédéric BoussinotPublication :[S.l.] : [s.n.], 2004Description : 161 p. : ill. en noir et en coul. ; 30 cmAvailability: Click here to access online Copies available for reference: Sophia Antipolis[EMS T-CMA-056] (1).
6.  Monographies, textes / Jean-Ferdy Susini, Laurent Hazard, Frédéric BoussinotDistributed reactive machines, Jean-Ferdy Susini, Laurent Hazard, Frédéric BoussinotPublication :ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.238 CCL.5742] (1).
7. Congrès ESTEREL V3 UNE EXTENSION MODULAIRE D'ESTEREL. / {R. Bernhard}Publication :ENSMP, Sophia Antipolis, 1991Description : 01 VOL.,160 P. ; 30 CMAvailability: Copies available for reference: Sophia Antipolis[EMS T-CMA-0023] (1).
8.  Monographies, textes Extrusion des polymères : approche scientifique et progrès technologiquesPublication :Sophia Antipolis : ENSMP, 1994Availability: Copies available for reference: Sophia Antipolis[EMS 780-B/N 3835] (1).
9. Thèses Injection de systèmes réactifs [Texte imprimé] : Détermination de lois cinétiques et rhéologiques et modélisation / par Francois Dimier ; sous la dir. de Michel VincentPublication :[S.l.] : [s.n.], 2003Description : 1 vol. (245 p.) ; 30 cmAvailability: Click here to access online Copies available for reference: Sophia Antipolis[EMS T-CEMEF-0268] (1).
10. Articles Mechanical properties of a polymer blend obtained through in situ crosslinking of the dispersed phase [ [Texte imprimé]] / A. de Loor, P. Cassagnau, B. Vergnes, [et al.]Publication :ENSMP, 1997Description : P. 1385-1390 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 146.142 CCL.5712] (1).
11.  Monographies, textes / Frédéric BoussinotObjects réactifs en JAVA, Frédéric BoussinotPublication :Presses polytechniques et universitaires romandes, Lausanne, 2000Description : 183 p. : Ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.180 CCL.1462] (1).
12.  Monographies, textes La programmation réactive [] : application aux systèmes communicants / Frédéric Boussinot,... ; préface de Albert Benveniste,...Publication :Paris, Milan, Barcelone : Masson, impr. 1996, impr. en BelgiqueDescription : 1 vol. (ix-270 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 112.719] (1). Copies available for reference: Sophia Antipolis[EMS 110-C02/N 3788] (1).
13. Articles Programmation réactive d'applications distribuées [ [Texte imprimé]] / Frédéric Boussinot, Guillaume Doumenc, Laurent Hazard.. [et al.]Publication :ENSMP, 1997Description : P. 239-254 ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.626 CCL.5700] (1).
14. Articles SyncCharts-Estérel [ [Texte imprimé]] : un environnement graphique pour la spécification et la programmation d'applications réactives complexes / Charles André, Michel Bourdellès, Sylvan DissoubrayPublication :ENSMP, 1997Description : P. 50-54 : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.623 CCL.5700] (1).
15.  Monographies, textes / Gérard BerryThe Esterel v5 language primer : version v5_91, Gérard BerryPublication :Sophia-Antipolis : ENSMP, 2000Description : 142 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 149.184 CCL.5803] (1).
16.  Monographies, textes The foundations of Esterel / Gérard Berry, Gérard BerryPublication :ENSMP, 1998Description : 31 f. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.630 CCL.5700] (2).
17.  Monographies, textes / Davide SangiorgiThe name discipline of uniform receptiveness : extended abstract, Davide SangiorgiPublication :ENSMP, 1997Description : Non paginé ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.622 CCL.5700] (1).
18.  Monographies, textes / Michel BourdellèsThe steam boiler controller problems in ESTEREL and its verification by means of symbolic analysis, Michel BourdellèsPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1997Description : 23 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.624 CCL.5700] (1).
19.  Monographies, textes The SugarCubes tool box / Frédéric Boussinot, Jean-Ferdy Susini, Frédéric Boussinot, Jean-Ferdy SusiniPublication :Le Chesnay : Institut national de recherche en informatique et en automatique, 1997Description : 29 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 145.625 CCL.5700] (1).
20. Articles The sugarcubes tool box [ [Texte imprimé]] : a reactive java framework / Frédéric Boussinot, Jean-Ferdy SusiniPublication :ENSMP, 1998Description : P. 1531-1550 : Ill. ; 26 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.237 CCL.5742] (2).
21.  Monographies, textes XEVE, an ESTEREL verification environment / Amar Bouali, Amar BoualiPublication :ENSMP, 1998Description : Non paginé : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 147.235 CCL.5742] (1).

Powered by Koha