Your search returned 8 results. Subscribe to this search

|
1.  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).
2.  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).
3. 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).
4. 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).
5.  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).
6.  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).
7.  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).
8.  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