HASL: An expressive language for statistical verification of stochastic models
Published in The Computer Journal, 2016
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