Author:
Bouissou Olivier,Goubault Eric,Putot Sylvie,Chakarov Aleksandar,Sankaranarayanan Sriram
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Abate, A., Katoen, J., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 6, 624–641 (2010)
2. Lecture Notes in Computer Science;A Adje,2014
3. Auer, E., Luther, W., Rebner, G., Limbourg, P.: A verified matlab toolbox for the dempster-shafer theory. In: Workshop on the Theory of Belief Functions (2010)
4. Borges, M., Filieri, A., d’Amorim, M., Păsăreanu, C.S., Visser, W.: Compositional solution space quantification for probabilistic software analysis (2014)
5. Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain
$${<\!{\rm T}\!>}$$
: abstractions for uncertain hardware and software. IEEE Micro. 35(3), 132–143 (2015)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献