Loading...
HAL Univ-Eiffel est l'archive ouverte qui rassemble les publications scientifiques de l'université.
En ouvrant ses publications, l'Université Gustave Eiffel participe au mouvement de la science ouverte.
Chercher une publication
Notices
41 285
Dépôts
25 599
Taux d'open access
45 %
Science ouverte
Renseignements et questions
Derniers dépôts
-
Asfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar, et al.. An Iterative Formal Model-Driven Approach to Railway Systems Validation. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩. ⟨hal-04731687⟩
Mots-clés
VEHICULE HYBRIDE
CONDUITE DU VEHICULE
DEVELOPPEMENT DURABLE
DURABILITE
CONDUCTEUR
BRUIT
OPTIMISATION
MOBILITE
Action publique
Travail
VISIBILITE
TRANSPORT EN COMMUN
CONFERENCE
VITESSE
METHODE DES ELEMENTS FINIS
ACOUSTIQUE
MODELISATION
ENERGIE
HUMANS
LOGISTIQUE
Machine learning
Optimization
Europe
PIETON
ACCIDENTOLOGIE
ACCIDENT DE LA ROUTE
Aménagement
Ville
VEHICULE
MESURE
Développement durable
COMPORTEMENT
DETECTION
DEUX ROUES MOTORISE
France
ENQUETE
TRAITEMENT DU SIGNAL
CHAUSSEE
Simulation
SURVEILLANCE
LOCALISATION
Homogenization
POIDS LOURD
FRANCE
MODELE NUMERIQUE
MATERIAU
MODELE
PONT
Microstructure
Modelling
TRAFIC ROUTIER
GEOLOCALISATION ET NAVIGATION PAR UN SYSTEME DE SATELLITES - GNSS
GENOU
Modélisation
ALGORITHME
BITUME
VIEILLISSEMENT
EVALUATION
BETON
TRANSPORT DE MARCHANDISE
ACCIDENT
ZONE URBAINE
SECURITE ROUTIERE
Innovation
EPIDEMIOLOGIE
TRANSPORT FERROVIAIRE
Territoire
MOBILITE PERS
COMPORTEMENT DU CONDUCTEUR
Mobility
BLESSURE
PERSONNE AGEE
CENTRIFUGEUSE GEOTECHNIQUE
Urbanisme
SECURITE
Sécurité
MOTOCYCLISTE
Uncertainty quantification
Mobilité
STRUCTURE
VEHICULE ELECTRIQUE
Non précisé
TRAITEMENT DES IMAGES
TRANSPORT
GPS
PSYCHOLOGIE
ESSAI
Management
Paris
Transport
Histoire
SIMULATION
SANTE
Concrete
RISQUE
GESTION DU TRAFIC
AIDE A LA CONDUITE
CAPTEUR
BIOMECANIQUE
Gouvernance