Publications
,
“A probabilistic calculus for probabilistic real-time systems”. ACM Transactions on Embedded Computing Systems, 2015.
, 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.