#surete-de-fonctionnement

Alternate Text
Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération
Category

Documents

Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération

Laurent Sagaspe

Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération Alternate Text
Category

Documents

Savoirs

Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération

Laurent Sagaspe

Book

166 pages

Flag

Français

icon play Lire
icon play Infos
Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems
Category

Documents

Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems

François Defossez

Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems Alternate Text
Category

Documents

Savoirs

Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire, Temporal requirements checking in a safety analysis of railway critical systems

François Defossez

Book

164 pages

Flag

Français

icon play Lire
icon play Infos
Modélisation de l adaptation des conducteurs au comportement du véhicule et expérimentations sur simulateur
Category

Documents

Modélisation de l'adaptation des conducteurs au comportement du véhicule et expérimentations sur simulateur

Renaud Deborne

Modélisation de l adaptation des conducteurs au comportement du véhicule et expérimentations sur simulateur Alternate Text
Category

Documents

Savoirs

Modélisation de l'adaptation des conducteurs au comportement du véhicule et expérimentations sur simulateur

Renaud Deborne

Book

266 pages

Flag

Français

icon play Lire
icon play Infos
Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride, Evaluation by simulation of the dependability of systems in hybrid dynamic context
Category

Documents

Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride, Evaluation by simulation of the dependability of systems in hybrid dynamic context

Gabriel Antonio Perez Castaneda

Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride, Evaluation by simulation of the dependability of systems in hybrid dynamic context Alternate Text
Category

Documents

Savoirs

Évaluation par simulation de la sûreté de fonctionnement de systèmes en contexte dynamique hybride, Evaluation by simulation of the dependability of systems in hybrid dynamic context

Gabriel Antonio Perez Castaneda

Book

186 pages

Flag

Français

icon play Lire
icon play Infos
Architecture pour la reconfiguration en temps réel des systèmes complexes, An architecture for real time reconfiguration of complex systems
Category

Documents

Architecture pour la reconfiguration en temps réel des systèmes complexes, An architecture for real time reconfiguration of complex systems

Ahmed Guadri

Architecture pour la reconfiguration en temps réel des systèmes complexes, An architecture for real time reconfiguration of complex systems Alternate Text
Category

Documents

Savoirs

Architecture pour la reconfiguration en temps réel des systèmes complexes, An architecture for real time reconfiguration of complex systems

Ahmed Guadri

Book

218 pages

Flag

Français

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text