Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=202351416.

Évaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes / Dorina-Romina Ionescu ; sous la direction de Jean-François Pétin et de Nicolae Brinzei

Date :

Editeur / Publisher : , 2016

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Systèmes dynamiques -- Fiabilité -- Thèses et écrits académiques

Traitement d'événements (informatique) -- Thèses et écrits académiques

Markov, Processus de -- Thèses et écrits académiques

Classification Dewey : 620.004 52

Pétin, Jean-François (Directeur de thèse / thesis advisor)

Brinzei, Nicolae (Directeur de thèse / thesis advisor)

Kratz, Frédéric (1962-....) (Président du jury de soutenance / praeses)

Grall, Antoine (1965-....) (Rapporteur de la thèse / thesis reporter)

Niel, Eric (Rapporteur de la thèse / thesis reporter)

Richard, Alain (automaticien) (Membre du jury / opponent)

Université de Lorraine (Organisme de soutenance / degree-grantor)

École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (Ecole doctorale associée à la thèse / doctoral school)

Centre de recherche en automatique (Nancy) (Laboratoire associé à la thèse / thesis associated laboratory)