Keyword:Input/Output Stochastic Automata

Publications
A compositional semantics for Repairable Fault Trees with general distributions Raúl E. Monti, Carlos E. Budde and Pedro R. D'Argenio In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning