GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (4)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation.
texte imprimé
Guy Juanole, Metteur en scène, réalisateur ; Robert Valette, Metteur en scène, réalisateur ; François Vernadat, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Contient 11 communications sélectionnées parmi les 30 présentées à MSR'2001, troisième colloque francophone sur la modélisation des systèmes réactifs, qui s'est tenu à Toulouse du 17 au 19 octobre 2001. Ce colloque se situe dans les domaines de [...]
texte imprimé
MODÉLISATION DES SYSTÈMES RÉACTIFS (2001), Auteur ; Guy Juanole, Metteur en scène, réalisateur ; Robert Valette, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Le programme consiste en 10 sessions portant sur les thèmes suivants : synthèse des contrôleurs, télécommunication, systèmes hybrides, approche synchrone, validation temporelle, ordonnancement et réseaux de Petri, supervision, etc.
texte imprimé
Marc Courvoisier, Auteur ; Robert Valette, Auteur | Paris : Dunod | Micro-informatique professionnelle | 1986Les principes fondamentaux des systèmes d'exploitation utilisés dans les micro-calculateurs. Avec une description des systèmes les plus représentatifs : CP/M, MSDOS, IRMX 86, Unix.
