Documents
Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS), Generation of test scenarios for distributed system checking : application to the European Railway Traffic Management System (ERTMS)
Sana Jabri
Documents
Savoirs
Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS), Generation of test scenarios for distributed system checking : application to the European Railway Traffic Management System (ERTMS)
Sana Jabri
225 pages
Français
Documents
Une approche harmonisée pour l'évaluation de la sécurité des systèmes ferroviaires : de la décomposition fonctionnelle au modèle comportemental, A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral model
Meriem Rafrafi
Documents
Savoirs
Une approche harmonisée pour l'évaluation de la sécurité des systèmes ferroviaires : de la décomposition fonctionnelle au modèle comportemental, A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral model
Meriem Rafrafi
205 pages
Français
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}