Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata
| Autor: | Desgeorges, Loïc, Piriou, Pierre-Yves, Lemattre, Thibault, Chraibi, Hassane |
|---|---|
| Zdroj: | In Reliability Engineering and System Safety April 2021 208 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect