| Title | A probabilistic calculus for probabilistic real-time systems |
| Publication Type | Journal |
| Year of Publication | 2015 |
| Authors | Santinelli, L, Cucu-Grosjean, L |
| Place Published | ACM Transactions on Embedded Computing Systems |
| Citation Key | 13123 |
| Title | A probabilistic calculus for probabilistic real-time systems |
| Publication Type | Journal |
| Year of Publication | 2015 |
| Authors | Santinelli, L, Cucu-Grosjean, L |
| Place Published | ACM Transactions on Embedded Computing Systems |
| Citation Key | 13123 |
Copyright 2015 © proxima-project.eu. This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement n°611085.