Normal view MARC view ISBD view

/ Michel BourdellèsThe steam boiler controller problems in ESTEREL and its verification by means of symbolic analysis, Michel Bourdellès

Auteur principal : Bourdellès, MichelAuteur secondaire collectivité : Centre de mathématiques appliquées, Sophia Antipolis, Alpes-Maritimes, Centre de mathématiques appliquéesPublication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1997Description : 23 p. : Ill. ; 30 cmISSN : 0249-6399.Bibliographie: Bibliogr. P. 16-17.Sujet : Langage ESTEREL ;Système réactif ;Bisimulation ;Outil logiciel ;Vérification expérimentale Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE
Current location Call number Status Date due Barcode
Bib. Paris
EMP 145.624 CCL.5700 Available EMP52822D

Bibliogr. P. 16-17

Powered by Koha