
Discrete event system formal approaches contribution onto global reliability Markov chain generation
Author(s) -
Xu Chun,
Éric Niel,
Nicolae Brînzei
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - fault tree analysis , automaton , computer science , markov chain , reliability (semiconductor) , reliability block diagram , reliability engineering , identification (biology) , theoretical computer science , expression (computer science) , regular expression , reliability theory , block (permutation group theory) , cellular automaton , algorithm , mathematics , engineering , programming language , machine learning , power (physics) , physics , quantum mechanics , botany , geometry , failure rate , biology