Liste complète des notices publiques
Page 1955/2656
- Modélisation des réseaux de transport - Actes du groupe de travail 2008
- Effets de faibles doses d'alcool sur des situations de conduite simulées
- Air traffic energy efficiency differs from place to place: New results from a macro-level approach
- Test Cases Generation from CTL. A Methodology
- Spécification et Vérification Formelles des COTS Orientée Contrôle-Commande Ferroviaire Embarqué
- Requirement Refinement to Test Case Generation for Embedded Railway Control Systems
- Raffinement des Exigences pour la Génération de Scénarios de Tests d'une Architecture de Contrôle/Commande Ferroviaire Embarqué
- Detection and tracking of moving objects for automotive driver assistance system
- Rapport d'avancement de thèse. Détection et suivi d'objets multiples sur route à partir de systèmes multicapteurs distribués et interconnectés par réseau de communication
- Model-based detection and tracking of vehicle using a scanning laser rangefinder: a particle filtering approach
- Integration of B activity into a global design process (Poster)
- Integration of B activity into a global design process
- Temps intervéhiculaire et peloton
- Temps d'attente au carrefours sans feux
- Environmental impacts of the future technologies of commercial aircraft
- Etude d'un indice de qualité de service
- Evaluation sur modèle de simulation du fonctionnement de l'algorithme de Miller sur un carrefour isolé, un itinéraire et un réseau
- Régulation de la circulation en conditions de saturation
- Two-Aircraft Dynamic System on Approach. Flight Path and noise Optimization
- Commande optimale : application aux procédures de décollage et atterrissage des avions de ligne