Castanet, Richard
Castanet, Richard, 1943-....
Richard Castanet
VIAF ID: 34583279 ( Personal )
Permalink: http://viaf.org/viaf/34583279
Preferred Forms
- 200 _ | ‡a Castanet ‡b Richard
-
- 100 1 _ ‡a Castanet, Richard
-
- 100 1 _ ‡a Castanet, Richard, ‡d 1943-....
- 100 0 _ ‡a Richard Castanet
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Adaptations inter-couches pour la diffusion des services vidéo sans fil | |
Application of computer-assisted proof techniques for spécification, verification and test. | |
Un cadre formel pour le test de robustesse des protocoles de communication | |
CFIP' 2005 , 2005 | |
CFIP'2005, ingénierie des protocoles : qualité de service, multimédia et mobilité | |
Clusterisation et conservation d'énergie dans les réseaux ad hoc hybrides à grande échelle | |
Conformance testing of communication protocols faults model and automatic test sequences generation. | |
ConTEL 2003 | |
Contribution au test de protocoles OSI | |
Contribution to the study of robust methods for vascular stenosis quantification from simple X-ray images. | |
A contribution to the suppression of errors in communication protocols. | |
Cross-Layer Adaptations for wireless video streaming services. | |
DSS, data-synchronized system. | |
Edge cading and image interpretation by circles : application to a system of automatic analysis of chemical spatial structures. | |
Essai sur la pensée économique de Michel Chevalier | |
Étude et développement d'une application de workflow sécurisé pour la gestion des comptes utilisateurs informatique | |
Étude et proposition de services dans les réseaux mobiles militaires de type MANet | |
Études sur la syntaxe et la sémantique des langues naturelles et des langages algorithmiques | |
Formalisation et simulation du processus de reconnaissance intermoléculaire | |
Formalisation et vérification de l'interopérabilité dans les systèmes de communication | |
Framework for robustness testing of communicating protocols. | |
Gestion de la qualité et gestion, de projet : principes et mise en oeuvre | |
IMPLEMENTATION AND TESTS OF COMMUNICATION PROTOCOLS WRITTEN IN ESTELLE. | |
Ingénierie des protocoles : actes du colloque francophone sur l'ingénierie des protocoles, CFIP'88, Bordeaux, France, 20-22 Septembre, 1988 | |
Linguistique automatique : les grammaires en chaîne | |
Management des risques dans les projets et les processus logiciel | |
Mise en œuvre et test de protocoles écrits en ESTELLE | |
Modeling, analyzing and testing real-time communicanting systems : towards an open approach of testing. | |
Modélisation, analyse et test des systèmes communicants à contraintes temporelles : vers une approche ouverte du test | |
Open systems interconnexion : interoperability testing, physical time constraints oriented testing. | |
Propriétés de la communication à travers des canaux FIFO | |
Réalisation d'un intranet : cohérence d'un ensemble réparti et communicant, autour d'une architecture réflexive | |
Relations d'implantation et hypothèses de test sur des automates à entrées et sorties | |
Rendering methods in 2D image synthesis, model and algorithms. | |
RenPar '8 : actes | |
RenPar'96 : actes des 8èmes rencontres francophones du parallélisme, RenPar'8, Bordeaux, France, 20-24 Mai, 1996 | |
Risk management in software projects and process. | |
Un service d'application de transfert d'images | |
Simulation and modelling of an empirical concept of dynamical management for traffic lights of a urban network. | |
Simulation et formalisation d'un concept empirique de gestion dynamique des feux tricolores d'un réseau urbain | |
Some properties of communication through fifo channels. | |
Specification and implementation of a business rule's formalism. | |
Spécification et implantation de protocoles OSI : une expérience de la couche transport dans le langage ADA | |
Spécification et mise en œuvre d'un formalisme de règles métier | |
SSD, système synchronisé par les données | |
Test and Validation of Web Services | |
Testing protocols and services based on mobility. | |
Transfert and visualisation of digital images. | |
Vol. 1. |