Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
Domaines
Performance et fiabilité [cs.PF]
Origine : Fichiers produits par l'(les) auteur(s)