Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
Published in Quantitative Evaluation of Systems (QEST), 2013
Paolo Ballarini
Associate Professor (MCF HDR) in Computer Science
- Gif-sur-Yvette, France
- CentraleSupélec, Univ. Paris-Saclay — MICS Laboratory · Head of the Computer Science Department
- Google Scholar
- ORCID