#securite-ferroviaire

Alternate Text
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
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text