Publications
“On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis”, in Proceedings Design, Automation and Test in Europe, Dresden, 2014.
, ,
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.