Author:
Milutinovic Suzana,Abella Jaume,Hardy Damien,Quiñones Eduardo,Puaut Isabelle,Cazorla Francisco J.
Publisher
Springer International Publishing
Reference17 articles.
1. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761 (2001)
2. Altmeyer, S., Davis, R.I.: On the correctness, optimality and precision of static probabilistic timing analysis. In: DATE (2014)
3. Bernat, G., et al.: WCET analysis of probabilistic hard real-time systems. In: RTSS (2002)
4. Breitzman, A.F.: Automatic Derivation and Implementation of Fast Convolution Algorithms. PhD thesis, Drexel University (2003)
5. Cazorla, F.J., et al.: PROARTIS: Probabilistically analyzable real-time systems. ACM Transactions on Embedded Computing Systems 12(2s) (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献